自己紹介

論理の公理に等号に関する公理と外延性の公理が含まれると思っていた。今は外延性は外そうと思っている。

0を自然数に含めることにためらいがある。

ペアノ算術には心を許した。ZFCはまだ。

メモ

たまにコメントできない

お気に入りのウィキア

特に記載のない限り、コミュニティのコンテンツはCC-BY-SA ライセンスの下で利用可能です。