Теория доказательств — раздел математической логики, представляющий доказательства в виде формальных математических объектов, осуществляя их анализ с помощью математических методов. Доказательства обычно представляются в виде индуктивно определённых структур данных, таких как списки и деревья, созданных в соответствии с аксиомами и правилами вывода формальных систем. Таким образом, теория доказательств является синтаксической, в отличие от семантической теории моделей. Вместе с теорией моделей, аксиоматической теорией множеств и теорией вычислений, теория доказательств является одним из так называемых «четырёх столпов» математики[1]. Теория доказательств использует точное определение понятия доказательства при доказательстве невозможности доказательства того или иного предложения в рамках заданной математической теории.[2]
Теория доказательств важна для философской логики, где самостоятельный интерес представляет идея теоретико-доказательственной семантики, — идея, которая основана на осуществимости формально-логических методов структурной теории доказательств.
Преобразовав закон Ньютона для гравитации, я доказал что есть всего два Натуральных числа, 1 и 0. При этом 1 и 0 это одно и то же. Таким образом я исключил Арифметику из научных дисциплин, сделав Теорию Доказательств и Физику единым, в отношении Арифметики.
Что же касается Комплексных чисел, то судя по всему они относятся к более высокой чем наша Третья струна. Также они относятся к тому что выходит по центрам орисфер, таких как атомы, планеты, звезды и чёрные дыры, и не даёт им угаснуть.