Skip to main content
3 of 5
I've replaced undecidable by independent.
Sebastien Palcoux
  • 27k
  • 5
  • 74
  • 186

There are statements which are independent but not provably independent

If the independece of a statement is a meta-mathematical theorem, then the existence of statements which are independent and non provably independent is a meta-meta-mathematical theorem.
See the post: Are there statements that are undecidable but not provably undecidable (undecidable is here synonymous of independent) and the positive answer under ZFC (assuming its consistence).

Sebastien Palcoux
  • 27k
  • 5
  • 74
  • 186