我们接受一个可以以真类为元素的更广大的“集合论”,或者,接受选择公理,并在证明过程中避免制造R 这样的类型,那么,这种推广会变得简单很多—一起码,在这两种情况下,推广是可能的。对此,我就不在这篇文章中展开叙述了。
数学联邦政治世界观提示您:看后求收藏(同人小说网http://tongren.me),接着再看更方便。