On Jan 11, 1:25 pm, Frederick Williams <freddywilli...@btinternet.com> wrote: > Dan Christensen wrote: > > > [...] The key point for me in that discussion > > was the comment that there is almost certainly no theorem of "first- > > order" group theory that cannot also be obtained from the usual set- > > theoretic group theory. What then is the point of "first order?" > > First order logic is well understood. > Higher order logic doesn't have an adequate proof system. >
Are you claiming that the usual group theory uses higher orders of logic?
Dan Download my DC Proof 2.0 software at http://www.dcproof.com Also see "The Barber Paradox Video"
