Сколько на данный момент насчитывается теоремм?

Answer 1

Сколько угодно.
По поводу любой теоремы Т можно сконструировать не мене 2х новых:
Теорема Т верна
Теорема Т доказана
К этим новым теоремам можно применить этот же процесс конструирования теорем.