PanLinx
English
eng-000
cardinality axiom
русский
rus-000
аксиома мощности
PanLex
