Elementary number theory and group theory as the basis for a first course in formal mathematics. Begins with the rudiments of logic and set theory. Group theory to the Sylow existence theorem. Beginning theory of domains with the construction of the polynomial ring. Construction of the rational numbers.