Such a language can be adequate to classical mathematics and indeed to scientific discourse generally, ex cept in so far as the latter involves debatable devices such as contrary to fact conditionals or modal adverbs like 'necessarily.