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