गणितज्ञ भाषा के ए  परिशुद्धता अउ तर्क "कठोर" के रूप में संदर्भित करत हंवय ।