It is not the case that If a theory F has independent statements (such as the Gödel sentence G_F), then F must have models satisfying G_F and models satisfying ¬G_F.
?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.