>>179
松坂程度に載っているのはいい加減な公理化でしかない。
厳密な形式的体系として表現しないと、基礎論ではお話にならない。
自然数論のためだけにＺＦを持ち出す必要は無いどころか、
普通の数学の大半にしてもＺＦはいらない。後ろと前の区別もつかないらしい。
そもそも、後ろにだっていくらかの分岐がある。保留すべきはあんたの脳みそだ。
>>188
ヒルベルトはメタレベルでは有限の立場に立脚しなければならないと言っただけ。
数学の豊富さを失わずに、その安全性を確保しようとした。
どうでもよいが排中律を認めなければ直観主義というのは短絡的に過ぎる。