Czy trzeba dowodzić rzeczy oczywistych?
Każda nauka ścisła ma własne metody potwierdzania swoich tez. Dla większości z nich weryfikacja twierdzeń polega na konfrontacji z rzeczywistością. Matematyka jest jedyną z tych nauk, w której owa rzeczywistość nie jest ostateczną (ani jakąkolwiek) metodą sprawdzania zdań aspirujących do wzbogacenia zasobu wiedzy matematycznej. Weryfikatorem twierdzeń jest dowód. Mowa tu o tzw. matematyce czystej lub teoretycznej; zauważmy jednak, że fizyczna rzeczywistość weryfikuje stosowalność instrumentów matematycznych, nie ich wartość matematyczną.