Let's not forget constructivism. https://plato.stanford.edu/entries/mathematics-constructive/