/sci/ - Science & Math

>>14871756
I happen to be aware, but something like synthetic differential geometry are not constructive theories, but instead anti-classical theories which become consistent when adopting axioms on top of a constructive context. One would hope to find some more lightweight synthetic theory that validates the IVT.

For several years now, I've documented the intensity of my orgasm when masturbating to several large cardinal axioms. I preserved the exhaust in tubes in my fridge.
There's nothing weird about this, it's called science. Correlating the size of a big black cardinal to the tiny drop of my dickilet is more informative than any other shitfuck "pure math" of Lurie and Spider-Man Prof and Terrence that nobody cares about.