私の現時点での意見は、ZFがRestriction of basic principlesならば、同じ議論がNFにも適用できるはずというものです。もとの話は、id:ytb さんの2007-09-12 (水)の記事です。 ラッセルのパラドックスの解決法のFefermanによる分類で、ZFはRestriction of ba…