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.