PanLinx
русский
rus-000
гильберта система аксиом
беларуская
bel-000
Гільбэрта сістэма аксіём
PanLex