PanLinx
English
eng-000
identity axiom
русский
rus-000
аксиома тождества
PanLex