>>593
＞だったね？　「仮定が偽の命題である」かどうか？
＞それは、別に証明されるべきだろ？
＞というか、それが本来証明されるべき数学の真っ当な定理としての命題だよ

定理1.7 により、定理1.7.2 は仮定が偽の命題であることが即座に従うｗ

＞その証明は、定理1.7を証明したと主張する人の義務であって、他人に要求すべきものではないだろう

証明は既に終わっている。
定理1.7 により、定理1.7.2 は仮定が偽の命題であることが即座に従うｗ