formal systems--sets
of assumptions and the statements that can be deduced from those assumptions by
the rules of logic. For example, the Greeks developed their geometry using a
few axioms, such as the idea that there is only one straight line through any
pair of points. It seemed that a clever enough mathematician could prove any
theorem true or false by reasoning from axioms.