What we have said about definitions applies equally to statements of fact, of the sort which are going to constitute the body of our science. In the absence of simpler facts to cite as authority, we shall never be able to prove anything, however simple this may itself be; and in fact the simpler it be, the harder it is to find something simpler to underlie it. If we are to have a logical structure of any sort, we must begin by laying down certain terms which we shall not attempt to define, and certain statements which we shall not try to prove. Mathematics, physics, chemistry--in the large and in all their many minor fields--all these must start somewhere. Instead of deceiving ourselves as to the circumstances surrounding their start, we prefer to be quite frank in recognizing that they start where we decide to start them. If we don't like one set of undefined terms as the foundation, by all means let us try another. But always we must have such a set. The classical geometer sensed the difficulty of defining his first terms. But he supposed that he had met it when he defined these in words free of technical significance. "A point is that which has position without size" seemed to him an adequate definition, because "position" and "size" are words of the ordinary language with which we may all be assumed familiar. But today we feel that "position" and "size" represent ideas that are not necessarily more fundamental than those of "line" and "point," and that such a definition begs the question. We get nowhere by replacing the undefined terms "point" and "line" and "plane," which really everybody understands, by other undefined terms which nobody understands any better. In handling the facts that it was inconvenient to prove, the classical geometer came closer to modern practice. He laid down at the beginning a few statements which he called "axioms," and which he considered to be so self-evident that demonstration was superfluous. That the term "self-evident" left room for a vast amount of ambiguity appears to have escaped him altogether. His axioms were axioms solely because they were obviously true. LAYING THE FOUNDATION