巨大数研究 Wiki
Advertisement
巨大数研究 Wiki

自己紹介

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

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

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

メモ

たまにコメントできない

お気に入りのウィキア

Advertisement