PanLinx
English
eng-000
extensional equality
русский
rus-000
экстенсиональное равенство
PanLex