Matematiğe ait hakikatler, kusursuz usavurumlar zinciriyle, az sayıdaki bir takım apacık onermelerden turerler, bu hakikatler kendilerini yalnızca bize değil, tabiata da zorla kabul ettirirler. Onlar adeta Tanrıyı kayıt altına alırlar ve ona sadece sayısı az olan bazı cozumlerden birini secmek imkanını bırakırlar. Boyle olunca, onun hangi secimi yaptığını, bize bildirmek icin birkac deney yetecektir. Her deneyden bir sıra matematik tumdengelimlerin yardımıyla bircok neticeler cıkarılabilecektir, ve bunların icinden her biri bize evrenin bir koşesini tanıtacaktır.