PanLinx
čeština
ces-000
schéma axiomu
čeština
ces-000
axiomové schéma
English
eng-000
axiom scheme
PanLex