Title: Proof and knowledge in mathematics
Subjects: Mathematics, Philosophy, Symbolic and mathematical Logic, Logique symbolique et mathématique, Kennistheorie, Preuve, Théorie de la, Mathématiques, Wiskunde, Bewijstheorie, Philosophie, Rechtvaardiging, Mathematics, philosophy, Logic, symbolic and mathematical, Proof theory, Théorie de la preuve, Infinity, Logic