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