PanLinx
русский
rus-000
аксиомы Хаага - Араки
English
eng-000
Haag-Araki axioms
PanLex