Lógica y conjuntos
¿Qué es realmente el número 5?
¿Cómo sabemos que 2 + 2 realmente es igual a 4?
¿Cómo sabemos si una demostración está bien o mal?
Esta es la estructura fundamental del mundo matemático, y tiene aplicaciones en la informática, las bases de datos y la inteligencia artificial, entre otras.
Desde axiomas, órdenes y funciones hasta operadores topológicos y conexiones de Galois.