
Re: If ZFC is a FORMAL THEORY ... then what is THEOREM 1 ?
Posted:
Oct 12, 2012 5:49 PM


On Oct 13, 5:40 am, George Greene <gree...@email.unc.edu> wrote: > > On Oct 12, 2:06 pm, George Greene <gree...@email.unc.edu> wrote: > > >http://en.wikipedia.org/wiki/Firstorder_logic > > On Oct 12, 3:02 am, Graham Cooper <grahamcoop...@gmail.com> wrote: > > > Hilbertstyle systems and natural deduction > > Why are you bothering to quote a difference between > Hilbertsystems and naturaldeductionsystems? > > What difference does THAT make?
deductive system is a list of formulas, each of which is a logical axiom
there is no decision procedure that determines whether arbitrary formulas are logically valid
So much for your ALGORITHMIC proof that
~E(r) xer <> ~xex
is a part of ZFC AUTOMATICALLY.
Herc

