https://plato.stanford.edu/entries/mathematics-constructive/ is one place that you could start filling in that gap.
https://plato.stanford.edu/entries/mathematics-constructive/ is one place that you could start filling in that gap.