Lo que hemos descrito brevemente hasta ahora es la lógica de las proposiciones. Una proposición afirma algo sobre objetos matemáticos concretos, como por ejemplo "2 es mayor que 1, por lo que 1 es menor que 2" o "un cuadrado no tiene 5 lados, por lo que un cuadrado no es un pentágono".