巨大数探索スレッド15

[0098 １３２人目の素数さん 2019/03/16(土) 23:55:10.45 ID:d55EZFA9]

>>97
あ、ZFCと同じなのはCICだったか
停止するって↓に書いてあった
https://www.slideshare.net/qnighy/coq-13942184

関係ない話:
順序数を表すのにチェーン表記が不便だと思った
やはり時代はBEAFだな今回のでそれがよく分かったよ>>wiki感謝