>>218
おっちゃん、どうも、スレ主です。
ご苦労さまです

>有限回の推論に基づくことのみを適用して有限回の推論で矛盾を導いて

数学的帰納法や超限帰納法は、有限ですか無限ですか？

>>219
定理1.7は、背理法ではありませんよ
だから問題なんです
系1.8は、背理法です。

>>220
「完全に適用していない」とか、関係ないでしょ？　一部だけの使用でも矛盾が導ければ同じと考えます

以上