Как поступают с нестрого доказанной теоремой?

Answer 1

Теорема же по определению строго доказана, нет? Она является лишь следствием другого утверждения (аксиомы) . Внутри аксиомы теорема истинна. Но так как аксиома принимается без доказательств, то мы не знаем истинна ли сама аксиома. Те не мене, чтобы доказать теорему, считаем, что аксиома истинна. Если аксиома истинна, а теорема - следствие аксиомы, то теорема истинна, иначе говоря, строго доказана, вытекает из аксиомы на 100%.