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