Истинное доказательство возможно только в формальных системах, коей наш мир не является. Здесь почти всегда есть только некие теории (модели) и подтверждающие/опровергающие их факты. Что делать со всем этим безобразием еще давно мощно высказался старина Байес. За это мы все любим старину Байеса. Проблема только в том, что, хотя Bayesian inference позволяет выделить самую правдоподобную теорию (модель) из предложенных, он не может предложить новую теорию. Думал ли когда-нибудь Ньютон со всеми его доказательствами, об Эйнштейне?