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