Aquesta obra està sota una llicència de Creative Commons.
La lògica matemàtica és el resultat de la convergència de quatre línies de pensament. Aquestes línies són:
(1) la lògica antiga, que va ser invenció d'Aristòtil ;
(2) la idea d'un llenguatge complet i automàtic per al raonament;
(3) els nous progressos en àlgebra i geometria succeïts després de 1925, i
(4) la idea que hi ha parts de la matemàtica que són sistemes deductius, això és, cadenes de raonaments que es conformen a les regles de la lògica (que són regles per virtut de les quals podem passar d'un enunciat E1 a un altre enunciat E2, sent E2 necessàriament vertader sempre que es consideri que E1 és vertader).
_________________________________________________________________
Aquesta obra està sota una llicència de Creative Commons.