PanLinx
English
eng-000
exchange axiom
čeština
ces-000
axiom záměny
русский
rus-000
аксиома замены
PanLex