الرياضيات, العلوم, الفلسفة, المنطق الرياضيالنماذج غير القياسية للحساب (Non-standard model of arithmetic)