>>21
>>>２）のR中稠密な場合は、定理1.7の命題は「 P∧ notQ → Q 」なので、証明不可能
>>>つまり、２）のR中稠密な場合においては、命題レベルで矛盾を含んでいるから、証明不可能
>>の2)の認識は間違いであることは飲み込めたでしょうか？
>
>いいえ。なお、ここは後で詳しく説明します
P∧¬Q->Q
と
P->Q
は同値な命題でありここを飲み込めていないのなら後の分析にコメントを付けても仕方ありません
（同値であるのは背理法によると理解することが出来ます）