PanLinx
русский
rus-000
вспомогательная аксиома
English
eng-000
tentative axiom
PanLex