Дмитрий, оно хоть и простенько, но умно и весьма точно схватывает саму суть недоопределённости предстоящего даже если имеется совершенная теория происходящего. Приведу вам онтологическую последовательность умозаключений о реальности по философии математики вероятного: ведь подкидывая монету, всегда есть вероятность того, что одинаковой стороной она выпадет 100 раз подряд, но даже если это произойдёт, нет ни малейшей уверенности, что это произойдёт в следующий раз.

  Говорить о том, что есть, что этого нет, или о том, чего нет, что оно есть, значит говорить ложь, а говорить о том, что есть, что оно есть, и о том, чего нет, что его нет, значит говорить истину. Аристотель

   Когда несколько гипотез, в которые мы верим, но о которых более ничего не знаем, представлены в нашем сознании как взаимо­-исключающие и исчерпывающие, мы поровну распределяем среди них нашу уверен­ность... Обычно это принимается как описа­ние способа, которым в простейших случаях мы действительно распределяем нашу уве­ренность. Все последующие теории вытека­ют из этого способа в качестве следствия, со­гласно которому мы должны распределять ее в сложных случаях, если будем последовательными. У. Ф. Донкин

  Объект рассуждения заключается в том, чтобы из рассмотрения того, что мы знаем, выявить то, чего мы еще не знаем. Следова­тельно, рассуждение оправданно, если оно таково, что дает истинное заключение из ис­тинных посылок, а не наоборот. Ч. С. Пирс

  Об истине никогда нельзя говорить как о предмете понимания, но только как о предмете веры. У. Блейк

 А т.к. идеальное возможно только по Истине, то раз истина не выразима и не множествена, то это заведомо незавершённый процесс, и если учесть вечность, то только так мышление всегда наполнено смыслом в этом направлении. И Истина не может быть только в Духе, но Духовна по Всеобщности природы духа, Истина хоть и вся Первичная Возможность (как Отец всего СУЩЕГО), но не только она, ибо есть и исполненное прошлое и настоящее, Истина не есть также всё сотворённое, ибо есть и ожидаемое, Истина всё это в Едино---отсюда ТриИпостасность Истины и Бога очевидны, и понятно, что Бог явил Истину только Воплотившись, но утвердил Истину только Воскреснув, и это действительно Вечность.

     Это доказано, как то, что познаваемая общность, как природа--- существует ∃  только в гипостазированном виде в человеческом мышлении (согласно Теории Рамсея   всякое сложное разнообразие познаваемо). И именно так выражается семантическая выразимость объективности, в пределе истины, А. Тарским Истина и доказательство, как вершинный метаязык, ввиде оператора дефиниции =Df. имён существительных, как то, что «нужно заметить, что истина TstST---это не этот предмет, но высказывание о нём, и даже не иконическое имя S этого предмета, хотя обязательно это имя S   содержит, но как tstS предложение о том, что осмысленное имя этого предмета (дефиниенс ST) в качестве подлежащего---есть дефиниендум, как предложение выражающее факт, что дефиниенс есть истинное предложение TstS—в смысле Остин Д. Истина (или TstST=Df.TstS)». Что и порождает познавательный феномен ввиде  парадокса лжеца X---в смысле Даммит М. Истина. 

 Дмитрий, философская глубина ваших выводов ещё в том, что математика суть идеальная абстракция от вещественного, но если есть идея отрицания другого, то есть и идея другого, как философия неотделимости математических объектов от абстрагированной в них реальности, и потому возможно говорить о трансцендентальной идее философского содержания математических объектов, что и выражено 1-й и 2-й теоремами Гёделя, и подтверждено семантической теоремой истины Тарского.

 Интуиционизм---Язык служит лишь для сообщения математических идей, математика не сво­дится к языку и тем более не может быть истолкована как особый язык. Но предметом исследования математической логики являет­ся именно математический язык, более или менее адекватно передающий математические построения. И именно мета структуры языка позволяют раскрываться интуитивным значениям общностей языка математических знаков, в философии наиболее общих абстракций, в утверждениях математики о предельно абстрактных свойствах непосредственности, ибо идея абстракции от непосредственности---есть идея и самой непосредственности. А т.к. такой предельный анализ, как философская деятельность определяется по ЛФТ Витгенштейна---«Вся философия есть “критика языка”», – говорит он [4.0031]. 4.112: «Цель философии – логическое прояснение мыслей. --- Философия не теория, а деятельность. --- Философская работа состоит по существу из разъяснений. --- Результат философии – не “философские предложения”, но прояснение предложений…», то предельность общностей математики и философии, делает их язык во многом схожим, но математика описывает лишь предельные абстракции философской рефлексии, от материального, проясняющихся в тезисе---“Это есть то”.

 По Интуиции Логика (по выражению математика Г.Вейля) - это своего рода гигиена, позволяющая сохранить идеи здоровыми и сильными. И. отбрасывает всякую осторожность, логика учит сдержанности.... Вырастая из аморфной и изменчивой пралогической И., из непосредственного, хотя и неясного "видения логического"---эти принципы всегда остаются связанными с изначальным интуитивным "чувством логического". Не случайно строгое доказательство ничего не значит даже для математика, если результат остается непонятным ему интуитивно. Логика и И. не должны противопоставляться друг другу, каждая из них необходима на своем месте. Внезапное интуитивное озарение способно открыть истины, вряд ли доступные последовательному и строгому логическому рассуждению. Однако ссылка на И. не может служить твердым и тем более последним основанием для принятия каких-то утверждений. И. приводит к интересным новым идеям, но она нередко порождает также ошибки, вводит в заблуждение. Интуитивные догадки субъективны и неустойчивы, они нуждаются в логическом обосновании. И чтобы убедить в интуитивно схваченной истине как других, так и самого себя, требуется развернутое рассуждение, доказательство.

 Дмитрий, думаю мне удалось увидеть и описать вам отчасти выраженные вашим постом идеи. Всего хорошего.