19/08/18 10:29:56.72 CwMq/yUw.net
>>334
＞やれやれ。わざわざ相手してやってる俺もアホかな。ｗｗ
まあ、ほどほどによろしく（＾＾
＞超限順序数は、suc ではなく、 sup で得られる。
なるほどなるほど
確かに
あと、無限公理も使うかも（＾＾
＞昨日も書いたが、君の論法は帰納法が機能してないんだよ。ｗｗ
”帰納法が機能してない”は、おやじギャグですなｗ
19/08/18 10:29:56.72 CwMq/yUw.net
>>334
＞やれやれ。わざわざ相手してやってる俺もアホかな。ｗｗ
まあ、ほどほどによろしく（＾＾
＞超限順序数は、suc ではなく、 sup で得られる。
なるほどなるほど
確かに
あと、無限公理も使うかも（＾＾
＞昨日も書いたが、君の論法は帰納法が機能してないんだよ。ｗｗ
”帰納法が機能してない”は、おやじギャグですなｗ