>>16834537
>Philosophy only appears at the point where you have to choose which axioms to accept, or refuse, and in which frame of logic to work.
You don't know what type theory and topos theory are, don't you?