On Jun 16, 2:21 pm, MoeBlee <jazzm...@hotmail.com> wrote: > I don't have a thousand lifetimes to wait for you to show a > formula P such that both P and ~P are derivable in ZFC from the above > definition.
CORRECTION: I should have said:
[...] to show, for some formula P, a proof in ZFC (with said definition included) of P and a proof in ZFC (with said definition included)of ~P.