ゲーデルフィルター（拡張パーツ）

• 著者: 退屈トレーダーOccam × AI

• 日付: 2026年6月5日

• ライセンス: CC BY 4.0（© 2026 退屈トレーダーOccam×AI）

公理の評価

1. Axiom GF‑1（自己参照演算の許容）

• 任意の写像族を許すため、体系は極めて柔軟。

• ただしこの時点では自己参照の危険性は残る。

→ GF‑1 の役割 は「自己参照を完全に排除するのではなく、あくまで“演算としては”許す」という点にある。

2. Axiom GF‑2（固定点禁止）

• 体系の核心。

• 任意の自己参照演算に対し、固定点を完全に排除。

• これにより Gödel 文の構成が原理的に不可能になる。

→ GF‑2 の効果 は「自己言及の構文的可能性を断つ」こと。

定理の評価

Theorem 1（固定点不存在）

• GF‑2 の直接的帰結であり、証明は最短。

• 体系の性質を正しく反映している。

→ 固定点不存在の意味 を考えると、これは「不動点定理の完全否定」を意味する。

Theorem 2（Gödel 文の非構成性）

• Theorem 1 の即時 corollary。

• Gödel 文の構成を禁止する体系としての目的を明確に達成。

→ Gödel 文の構成不能性 はこの体系の最も特徴的な性質。

モデル構成（相対無矛盾性）

• Form={0,1}

• Ψi(0)=1, Ψi(1)=0

は 全ての写像が固定点を持たない ため、
GF‑2 を満たす。

これは ZFC 内で構成可能なので、
「ZFC が無矛盾なら GF も無矛盾」 が正しく示されている。

この設計は一貫しており、
「自己言及を持たない論理体系の純粋モデル」 として非常に明確です。