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