A Foundation of Elementary Arithmetic proves rigorously from first principles the major propositions of elementary arithmetic, up through the theorem that there are an infinitude of prime numbers. By way of measure, 2 + 2 = 4 appears around page 1000 of the proof section, 2 x 2 = 4 around page 1250, and there are about 1800 pages of proof over-all.

The file format is pdf and requires Adobe Acrobat Reader 5.0 to read. No systematic test was made, but on one PC Acrobat Reader 4.0 could not read the files correctly (the Symbol font did not appear correctly).

Someone already familiar with first-order predicate calculus should be able to understand the proofs without difficulty after reading Section I, Chapter 1 "Read Me First".

This is version 2, posted 28 Apr 2002.

For those who want to download all definitions and theorems (no proofs) in one file: FOEASummary