ZFC, however, is still formalized in classical logic.
然而，ZFC依然是在经典逻辑下被形式化的。