the number of mathematical based journals in Princeton Library by the number of yearly issues, by the number of papers per issue and the average number of theorems per paper.
Their estimate came to 200 000 theorems per year.