PanLinx
čeština
ces-000
axiom objemnosti množin
English
eng-000
axiom of comprehension
PanLex