text: Аналогичным образом, логическое опровержение предположения, что любой конструктивный объект рассматриваемого вида обладает некоторым свойством T {\displaystyle T} — считающееся в теоретико-множественной математике достаточным основанием признать «существующим» объект со свойством ( ¬ T ) {\displaystyle (\neg T)} , — не может само по себе служить поводом для признания объекта со свойством ( ¬ T ) {\displaystyle (\neg T)} потенциально осуществимым.