The view that mathematical concepts could exist in such a timeless, etherial sense was put forward in ancient times (c. 360 BC) by the great Greek philosopher Plato. Consequently, this view is frequently referred to as mathematical Platonism. It will have considerable importance for us later.