Ciencias Básicas

Modernamente la lógica se ha convertido en una meteria no sólo profunda, sino de gran amplitud y aplicación a otras ciencias. Sólo desde hace algunos años se ha establecido relaciones sistemáticas entre la lógica y la matemática, formulándose una teoría de inferencia completamente explícita que se adecua a todos los ejemplos típicos del razonamiento deductivo en matemáticas y a las ciencias empíricas. En la mente de todos los matemáticos modernos está el concepto de axioma y la deducción de teoremas a partir de axiomas. El propósito de este libro es introducir al estudiante en el método deductivo de la metemática moderna, a un nivel que, aún siendo riguroso, sea lo suficientemente sencillo en presentación y contexto, para que permita una fácil comprensión.