"Logic is about thought, not about concrete objects. Foundations are impossible ex nihilo since they would involve a thought located outside the thought." - Jean-Yves Girard
"Logic is about thought, not about concrete objects. Foundations are impossible ex nihilo since they would involve a thought located outside the thought." - Jean-Yves Girard