4 ms·

I am hoping modern intuitionism and multi-foundational math (think Andrej Bauer) can finally mend the platonism aristotlism divide.