Moi mon point de vue sur la philo des maths est que le finitisme est le plus réaliste quant à la limitation de l'esprit humain et que s'imaginer qu'un infini hors que potentiel puisse exister, de plus le classement de potentiels infinis est complètement contradictoire et je trouve que la théorie des types est un bon point de vue qui est constructiviste et intuitionniste
