>>11176467To date, set theory has proven totally sufficient for every statement of pure mathematics that I, El Arcón, have ever tried to make. I pride myself on the simplicity of my results stemming from my ability to differentiate between that which is merely complicated and that which is needlessly complicated. I am not against category theory, and I hear good things about it, but I think set theory is probably the greatest mathematical program of all time.
