>「命題Aが充足可能であれば、数学的に否定できない」
>充足させまいと言いがかりつける
数学的にはどんな前提のもとにかが問題