>>519
面や空間の積集合を次元と考えるんだったら
自然数は何次元とでも対応できます。
もちろん実数も。
>>521
ファック、全然違います。
証明論はヒルベルトやゲンツェンによる
無限を扱う数学を有限的な記述で体系化する試みから始まっています。