难以形式化的命题