<p>
This section describes the conventions we use. These conventions often refer
to existing mathematical practices, which are discussed in more detail in
other references.
They are organized as follows:
<ul>
<li> conventions: general conventions</li>
<li> conventions-labels: conventions related to labels</li>
<li> conventions-comments: conventions related to comments</li>
</ul>
<p>
Logic and set theory provide a foundation for all of mathematics. To learn
about them, you should study one or more of the references listed below. We
indicate references using square brackets. The textbooks provide a
motivation for what we are doing, whereas Metamath lets you see in detail all
hidden and implicit steps. Most standard theorems are accompanied by
citations. Some closely followed texts include the following:
<ul>
<li>Axioms of propositional calculus - [Margaris].</li>
<li>Axioms of predicate calculus - [Megill] (System S3' in the article
referenced).</li>
<li>Theorems of propositional calculus - [WhiteheadRussell].</li>
<li>Theorems of pure predicate calculus - [Margaris].</li>
<li>Theorems of equality and substitution - [Monk2], [Tarski], [Megill].</li>
<li>Axioms of set theory - [BellMachover].</li>
<li>Development of set theory - [TakeutiZaring]. (The first part of [Quine]
has a good explanation of the powerful device of "virtual" or
class abstractions, which is essential to our development.)</li>
<li>Construction of real and complex numbers - [Gleason].</li>
<li>Theorems about real numbers - [Apostol].</li>
</ul>