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