Precision and nature of mathematics