Klasik matematik anlayışından farkı, matematiksel önermeninın ispatlanma olasılığı ölçüsünde var olduğunu öne sürmesidir, gene aynı
Kaynak: Matematik sezgicilik