PanLinx
русский
rus-000
неразрешимое предложение
English
eng-000
undecidable proposition
English
eng-000
undecidable sentence
PanLex