PanLinx
русский
rus-000
комбинаторная аксиома
English
eng-000
combinatory axiom
PanLex