証明しようとすると、こんなことになるの!?
そもそもが「自然数の公理系」というものを植え付けられてたんだな、自分のアタマは…。
「1+1」は、それ自体が重厚なアートであり、哲学なんですね。
通報 ...
証明しようとすると、こんなことになるの!?
そもそもが「自然数の公理系」というものを植え付けられてたんだな、自分のアタマは…。
「1+1」は、それ自体が重厚なアートであり、哲学なんですね。
数は連続するもの、
0に1を足すと1になり、1に1を足すと2になり、2に1を足すと3になり……的なことを定義するのにこんな大変なことになってるのかな、と推測しています。。
でも定義(i)のあたりでもっとなんとかならんかな、と不平が湧き出た笑。
それこそ、もっと美しく定義できそうな気がする……