Re: Implementable Set Theory and Consistency of ZFC

Han de Bruijn <Han.deBruijn@xxxxxxxxxxxxxx> writes:

Pythagoras' theorem is proven with the axioms of Geometry. Is it true
then that Pythagoras' theorem is a premise for Pythagoras' theorem?

It is true that the theory of Geometry + Pyth Thm proves Pyth Thm.
Duh.

--
"Britney thought the idea of a pre-nup was vile, because she is
loved-up with Kevin and cannot envisage breaking up. However, [...] no
one in Hollywood these days get married without brokering a
deal. [...] She had a long chat with Kevin and he was cool about it."
.

Loading