It is not the case that Gödel's completeness theorem applies to ZFC-as-formalized; the metalanguage used to state the theorem already embeds set-theoretic assumptions.
?Set your confidence on the premises below to see your aggregate.
No one has weighed in yet. Be the first to share reasons for or against this statement.