ZFC, however, is still formalized in classical logic.
ZFC, ωστόσο, εξακολουθεί να επισημοποιεί στην κλασική λογική.