Inter-universal geometry と ABC予想 (応援スレ) 73

Inter-universal geometry と ABC予想 (応援スレ) 73 (766ﾚｽ)
上下前次1-新
抽出解除ﾚｽ栞

ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡

245(1): 08/02(土)17:32 ID:rqMubN8o(1/3) AAS
自然数0,1,2,…と自然数の全体集合Nの存在性を仮定して
集合Nの元の自然数0,1,2,…を定義したら
循環論法になるだけでなく、ペアノの公理の意味がない

251(1): 現代数学の系譜雑談 ◆yH25M02vWFhP 08/02(土)19:42 ID:WzsFWnhL(7/11) AAS
>>245 & >>249-250
　ID:rqMubN8o ？
　ID:rqMubN8o は、どなたか？
ひょっとして、御大のご帰還か？