То есть если тебе удаётся симантику филологическую лингвистическую выразить количество математически продемонстрировать полноту или непроти...
Условие:
То есть если тебе удаётся симантику филологическую лингвистическую выразить количество математически продемонстрировать полноту или непротиворечивость Истина это мера множества смыслов Истина это мера на множестве смыслов Моя мера мера истины как передиката раскавычевания равна нулю Истина это предел приближения смыслов По Предел по базису фильтра строим Истину как предел приближения осмысления ( промежуточных шагов смысла ) смыслов что можно под демонстрировать в виде следующие формулы: Теория множеств Сам предел не обязан входить в множество преблежиний R - Истина как предикат излишка ℵ - истина При этом: R ⊕ ℵ R ↑ ℵ Штрих Шеффера, обычно обозначаемый | или ↑, эквивалентен операции И-НЕ[1] и задаётся следующей таблицей истинности: Истина как предикат излишка: «⌜ ℵ ⌝» ⇔ ( А ∧ ℵ + A = A2 ∧ А + A = A2 ⇒ ℵ ≡ ∅ ) ∴ ℵ ⟤ ∅ ⟥ «⌜ ⌝» R ⊭ ∴ ⊥ ≝ ℵ∄ Истина как предикат осмысления: «{ A ⊆ Ƶ } ∈ ℵ» ⇔ A ⊆ Ƶ ⊊ Формулировка теоремы о истине Три логических шага: 1. «⌜ ℵ ⌝» ⇔ ( А ∧ ℵ + A = A2 ∧ А + A = A2 ⇒ ℵ ≡ ∅ ) ∴ ℵ ⟤ ∅ ⟥ «⌜ ⌝» ⇒ 2. R ⊭ ∴ ⊥ ≝ ℵ∄ ⇒ 3. «{ A ⊆ Ƶ } ∈ ℵ» ⇔ A ⊆ Ƶ 3. «{ A ⊆ ⊊ Ƶ } ∈ ℵ» ⇔ A ⊆ Ƶ ⊊ ( надо доработать старые и дописать новые формулы ) Первый шаг: демонстрирует истину как предикат излишка или пустоты Второй шаг: демонстрирует парадокс истины как излишка и пустоты в том что если истины не существуют или она излишек то тогда у нас нет «Меры» которой мы можем валидно классифицировать это высказывание как истинное и ложное Третий шаг: демонстрирует что ℵ ≝ ⊨ ∴ ⊤ Теоретико-множественная формулировка: ( формула : Общий случай: формула : Формулировка на языке теории моделей: формула : Формулировка на языке логики Гёделя: формула : Формальное Доказательство: ( формулы : ) База индукции: ( формулами ) Индукционный переход: ( формулами ) База дедукции: ( формулами ) Дедукционный переход: ( формулами ) Безразмерная бесконечная таблица истины: Асимптотические оценки и расчёты: ( то есть количественное выражение истины )