Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

For example, let $\phi$ be a sentence in $ZF$ and $ZFC\vdash \neg\phi$. Then, $\phi$ must not be provable in $ZF$, but we still don't know whether $ZF\vdash \neg\phi$. What should i call this sentence $\phi$ under $ZF$?

share|cite|improve this question
You could say '$\phi$ is unprovable in ZF, if ZF is consistent.' Note that you don't really know whether or not $\phi$ is provable in ZF, because if ZF is inconsistent, then its certainly provable. – goblin May 25 '13 at 16:55
up vote 6 down vote accepted

I'd say that $\phi$ is consistently false with ZF or $\phi$ is unprovable from ZF. Because it is consistent to have $ZF+\lnot\phi$ (e.g. if we assume choice).

If you think it should be provably false from ZF itself, it is something to suggest as a conjecture. However if all you know is that it is consistent with ZF, this is all you can say.

For example $\phi$ could be the statement "There is no elementary embedding from the universe onto itself" (whatever it means), which is a statement we know is provably false from ZFC, but we do not know its provability from ZF (probably one of the biggest problems in choiceless set theory).

share|cite|improve this answer

$\phi$ is false, but it might not be disprovable in ZF.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.