PanLinx
русский
rus-000
аксиома выделения
English
eng-000
axiom of separation
English
eng-000
comprehension axiom
English
eng-000
excision axiom
PanLex