Lógica, metalógica y filosofía de las ciencias formales
Blog sobre temas de lógica, metalógica, matemáticas, sistemas metaformales y filosofía de las matemáticas en general.
Lógica, metalógica y filosofía de las ciencias formales. Conceptos, definiciones y análisis de matemáticas, metamatemáticas y sistemas axiomáticos formales.