Tôi tin rằng thực tế toán học nằm ngoài chúng ta, rằng chức năng của chúng ta là khám phá hoặc quan sát nó, và rằng các định lý mà chúng ta chứng minh, và mà chúng ta mô tả một cách hoa mỹ là 'sáng tạo' của chúng ta, đơn giản chỉ là những ghi chú của chúng ta về những quan sát của chúng ta. Quan điểm này đã được nhiều triết gia có uy tín từ Plato trở đi nắm giữ, dưới hình thức này hay hình thức khác.