PanLinx
English
eng-000
axiom of comprehension
čeština
ces-000
axiom objemnosti množin
普通话
cmn-000
概括公理
русский
rus-000
аксиома свертывания
PanLex