Quella che abbiamo descritto brevemente finora è la logica delle proposizioni. Una proposizione afferma qualcosa su specifici oggetti matematici come: '2 è maggiore di 1, quindi 1 è minore di 2' o 'un quadrato non ha 5 lati quindi un quadrato non è un pentagono'.