Title: The blind spot
Subjects: Proof theory, Logic, Théorie de la preuve, Mathematical logic, Mathematical logic and foundations, Category theory; homological algebra, Computer science