virus: Defining an Axiom

Corey A. Cook (cookcore@esuvm.emporia.edu)
Mon, 03 Feb 1997 18:48:44 -0800

This may be a few days late, but we have a question
from the stands:
Just what is an axiom?
I thought that an axiom was "a statement that cannot be
verified without incorperating the axiom into the proof."
Which brings up another question:
Suppose that someone proves an axiom. What is it then?

Corey A. Cook
cookcore@esuvm.emporia.edu
"Will you look at that!"