種別[statuses] aboutme:56364 セクションJRF のひとこと 日時2008年05月25日 元URLhttp://jrf.cocolog-nifty.com/statuses/2008/05/aboutme56364.html つまり、ある種の公理系をとったとき、無矛盾であるがある種の「何でも」導けるという… つまり、ある種の公理系をとったとき、無矛盾であるがある種の「何でも」導けるというものを内包することができる一例となっているということだ。 JRF 2008年5月25日