PanLinx
русский
rus-000
абсолютная доказуемость
English
eng-000
absolute provability
PanLex
