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