Discovery. When you put two apples next to two apples, there are now four apples. This is an objective fact which can be empirically observed. The self-evident truths of mathematics have an existence independent of any individual mind’s attempt to understand them.