PanLinx
русский
rus-000
теорема о неразрешимости
English
eng-000
undecidability theorem
PanLex
