લોજિકને ઔપચારિક હોવા છતાં, તેમણે ગણિત અને કુદરતી વિશ્વને મૂળભૂત રીતે બિનસંબંધિત માનવામાં આવે છે.