>>952
集合と全称記号と存在記号のない場での背理法というのは
偽の命題を仮定したトートロジーであるから
証明になっておらず
肯定や否定ができない