PanLinx
русский
rus-000
аксиома замены
English
eng-000
exchange axiom
PanLex