PanLinx
English
eng-000
self-implication
русский
rus-000
закон тождества
PanLex