>>12
何をもって大差無いと言ってるのか分からん
証明の効率の点では、最初から集合や実数の概念を認めるのと、ZFCまで遡るのとでは雲泥の差
証明できる命題の量では、当たり前だが、いくつかの概念を認めた程度ではZFCに遠く及ばない