ポスト
ここに下がってるようなことを考えてやるにしても小学校での無理数なんてπが関わる部分だけだろうし、運用上は3なり3.14なりでやるのだから有理数だけの議論でよいわけで、そんなに公理はいらない。
メニューを開くみんなのコメント
メニューを開く![](https://rts-pctr.c.yimg.jp/BgIFgYJGVIVv8u0nVJvw8B2FauAYMF4jOP5zFJAV4i5e72TLbER0xQeK1l8ZZ0OLDnfFj-EhmcHiAAO2LgSgk0EUfOf80wTOlGwKdoJzTDfxz5IkmlsdwpBGvQSmXjgFo2MUgtgDMIueJSRutFmCbw1bWSCYl6BHEcUqGiLSZdSrq95iySFe8hvcPzApiOMJMrV43An5KBppmnDF3Tx4gMzaALAFpfclHDsrlcMmVGY=)
し、ペアノの公理があれば足し算と掛け算はこれだけ考えればよい。可換性、結合性、単位元はこれと一般的な関数の議論から出てくる。(そこから自然と逆元の定義が出来る) pic.twitter.com/pOOUUdudrS
ここに下がってるようなことを考えてやるにしても小学校での無理数なんてπが関わる部分だけだろうし、運用上は3なり3.14なりでやるのだから有理数だけの議論でよいわけで、そんなに公理はいらない。
メニューを開くし、ペアノの公理があれば足し算と掛け算はこれだけ考えればよい。可換性、結合性、単位元はこれと一般的な関数の議論から出てくる。(そこから自然と逆元の定義が出来る) pic.twitter.com/pOOUUdudrS