On foundations of mathematics
This is a short follow-up to this post https://lawrencecpaulson.github.io/2023/11/01/Foundations.html To define the foundations of mathematics mere symbols are not enough. We have to consider the actual existence of what we call “reality” or “Universe” which has some observable properties. the “Mind (of an external observe)”, which actually builds and maintains a “map” (which is not a territory). the actual existence of a language-based shared human culture which stores the “previous results” invention of a symbolic notations and formal methodologies for creating “system” So, yes, intuitionists were right, and yes, the set theory is jsut another system, generalizing from what the Mind observes....