Jump to content


New Members
  • Content Count

  • Joined

  • Last visited

Community Reputation

0 Neutral

About Yog79

  • Rank
  1. Since $\mathbb{R}$ is not first order definable, the statement $\forall x \in \mathbb{R}(x = x)$ is not a first order statement and thus not provable in ZFC. Does that mean we can assume $\exists x \in \mathbb{R}(x \neq x)$? If so, would this provide us with the basis for a field with one element?
  • Create New...

Important Information

We have placed cookies on your device to help make this website better. You can adjust your cookie settings, otherwise we'll assume you're okay to continue.