2025-05

帰納的集合定義は単純です。帰納的集合の要請は、1を持ち、かつ1と任意の元の加法が閉じていること。具体的には実数、正の実数、非負の実数、0を含む自然数、0を含まない自然数、正の整数、正の有理数などですかね。自然数公理主義では帰納的集合の共通部...

頭を突っ込まない頭を突っ込むヘッドスリップを教える人もいますが、「頭が突っ込む」のはパンチを避けた結果です。相手のパンチを避けながらか、あるいは相手の射程から隠れながら"前進"すると仮定した場合、例えば一時避難の為にベルトラインに潜り込など...

有理数の間には常に無理数がある有理数+無理数=無理数①a<n⇒a/n>a/n+1>a/n+2...>0②ある無理数aを大きな有理数nで割るとその値は無理数であり、かつ0へ近づく任意のx<yにおいて、xに小さな無理数aを足すとその値は常に無理...