ZFCから定義とか証明とかしたい
https://ai.2ch.sc/test/read.cgi/math/1583303798/
last-modified: 2021-12-27 07:49:31