Re: Contradiction or paradox

On May 20, 8:06 am, Charlie-Boo <shymath...@xxxxxxxxx> wrote:

Did a computer program generate them? Or did a person type them in?
And if the latter, does the system check and tell you if they don't
logically follow?

That question has been answered. And you should just read the
introductory remarks at the site for yourself.

What is the point? To show that all of Mathematics can be derived
from a small number of axioms? To show that some of Mathematics can
be formally derived from axioms? Have we really formalized the
intuitive proofs of Mathematical Logic? Is it a well-designed
system?

Just read for yourself right at the site. Sheesh.

MoeBlee

.