>>385
実際に再度R=1になるのは確認してますか？してるならば何ページ何行目でしょうか？
示されていないならば、ただの仮定です

追加的な仮定を含む背理法は論理的ではありません
>>367のとおり
背理法は、ひとつの仮定から矛盾が生じたら、もとの仮定が偽であると主張できる

仮定xと仮定yの二つの仮定から矛盾が生じた場合、仮定xと仮定yのいずれかが偽だと言えるが、どちらが偽かはわからない