અંકગણિત, ભૌમિતિક, લોજિકલ (વિશ્લેષણાત્મક), સિન્થેટિક અને નૈતિક સત્ય