- 338 名前：１３２人目の素数さん [2016/09/10(土) 15:40:45.93 ID:XwJ2WD0c.net]
- >>328
それ本当？
2012年に基数の算術を定式化してカントールの定理を証明する論文が出てるけど、
現状どこまで行ってるのかは追跡してないから知らない。
Weber, Z. (2012). “Transfinite Cardinals in Paraconsistent Set Theory.” Review of Symbolic Logic 5(2):269–293
https://www.cambridge.org/core/services/aop-cambridge-core/content/view/F9D22CA9A392CCB44A1CDD163E4EEFDE/S1755020312000019a.pdf/transfinite-cardinals-in-paraconsistent-set-theory.pdf
