PanLinx
русский
rus-000
неявная аксиома
English
eng-000
implicit axiom
PanLex