PanLinx
русский
rus-000
интуиционистские аксиомы
English
eng-000
intuitionistic axioms
PanLex