"गणित की सभी संकल्पनाओं अर्थात अंकगणित, बीजगणित और विश्लेषण को तर्क की संकल्पनाओं  के संदर्भ में परिभाषित किया जा सकता है" - यह किसका कथन है?