アカウント名:
パスワード:
「aもbも零なら、a=b」と「aの次がbでaの次がcなら、b=c」はペアノの公理系ではなく一階述語論理から導出される結論ですね。
「Xの次はYである」という関係を表す述語とみるか「Xの次」という関数とみるかですね
Yの一意性が明らかでないときは関係にする必要がありますね
より多くのコメントがこの議論にあるかもしれませんが、JavaScriptが有効ではない環境を使用している場合、クラシックなコメントシステム(D1)に設定を変更する必要があります。
UNIXはシンプルである。必要なのはそのシンプルさを理解する素質だけである -- Dennis Ritchie
そのうち (スコア:0)
「aもbも零なら、a=b」と「aの次がbでaの次がcなら、b=c」はペアノの公理系ではなく一階述語論理から導出される結論ですね。
Re:そのうち (スコア:0)
「Xの次はYである」という関係を表す述語とみるか
「Xの次」という関数とみるかですね
Re: (スコア:0)
Yの一意性が明らかでないときは関係にする必要がありますね