Finished mathematics
Finished mathematics is finished and published and accepted mathematical proof that has passed rigorous peer review (except that in mathematics, peer-review is called refereeing), and to which formal terms like "theorem" or "lemma" apply. It excludes "folk mathematics" in the sense of that term applied by mathematicians.It implies that mathematicians believe that high standards of mathematical practice have been applied to these publications, partly but not primarily to find and correct errors.