गणित की प्रकृति जिसमें एक प्रस्ताव पिछले सिद्ध प्रस्तावों या तर्क से तार्किक रूप से निगमित किया जाता है, यह परिभाषित करता है कि गणित एक है-