>>19
大抵の解析学は「足し算と掛け算は既知のものとする」で始めると思うが？
ペアノ公理で定義された『自然数』なるカッコつき概念に足し算を S(x+y) = S(x) + y (だっけ？) で入れて
イデアルで割って整数と有理数を作るところから大学で習うかね？
>>19
大抵の解析学は「足し算と掛け算は既知のものとする」で始めると思うが？
ペアノ公理で定義された『自然数』なるカッコつき概念に足し算を S(x+y) = S(x) + y (だっけ？) で入れて
イデアルで割って整数と有理数を作るところから大学で習うかね？