数理論理学（数学基礎論）　その11

633 ：１３２人目の素数さん：2016/11/06(日) 02:32:11.77 ID:VeV1EWf1.net

直観論理の ¬A　すなわち　A ⊃ f 　はAを確認する方法が与えられたと仮定して、その方法に基づくと矛盾する、という意味ですよね？
（fは矛盾を表す）

であれば、¬Aが言えるならAを確認する方法はあり得ない？
いや、でもAを確認する方法を与えられると過程しないと矛盾が言えないわけだから、つまりどういうことなんです？