A finales del siglo XIX, viejas ideas matemáticas consideradas obvias empezaron a ser puestas en duda. Muchos intentaron conservar el edificio de la matemática acumulado durante siglos mediante el estudio de los métodos y conceptos más fundamentales de la matemática en sí. Esto es lo que se conoce como Metamatemática.

Esta serie se organizará en varios artículos siguiendo aproximadamente un orden histórico, desde las investigaciones sobre el infinito de Georg Cantor hasta los teoremas de Gödel.

Es muy recomendable tener ciertas nociones sobre lógica formal. Por ello recomendamos antes visitar nuestra serie de artículos sobre el tema.