PanLinx
English
eng-000
axiom scheme
čeština
ces-000
axiomové schéma
čeština
ces-000
schéma axiomu
普通话
cmn-000
公理格式
普通话
cmn-000
公理模式
русский
rus-000
система аксиом
PanLex