Aristotle held that mathematics could be certain without telling us anything about reality