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.