PanLinx
English
eng-000
unprovable statement
русский
rus-000
недоказуемое высказывание
PanLex
