Constructivismo y formalismo

Filosofía. Infinito. Teoría de conjuntos de Cantor. Números algebraicos. Kronecker. Pura existencia. Hilbert. Brouwer. Bishop