「グロタンディーク宇宙には、既知の数以外にどのような数が含まれるか?」
という記事を参照のこと。
実はない。
グロタンディーク宇宙から、
「異なる辞書で説明される自然数に類似したもの」、
または同様の実数に類似したもの、複素数に類似したものを拾ってくるだけでいい。
「全ての演算の結果が載っている辞書(カンニングペーパー)」を引く行為が演算、または計算、或いは数学的操作と呼ばれるものである。
我々の普段使っている辞書と異なる辞書を用意し、その辞書に従う数に類似したものをグロタンディーク宇宙から取り出してくればいい。どの程度普通の数と異なるかは、我々が自由に選べる。
当然できる。
しかし、今の私には具体的なアイデアがない。
要検討。
やっぱり正則性公理と、選択公理または無限公理かな。