Model Theory – TANAAKK

ポアンカレ予想の３次元解法のリッチフローZFC的評価

by TANAAKK
in Zermelo–Fraenkel with the Axiom of Choice, Model Theory, Set Theory, Logic
on 2025-09-20

0

ポアンカレ仮説の証明方法はリッチフローを導入すれば同相ということの証明をzfc的に証明評価する。 1. ポアンカレ予想と ZFC ポアンカレ予想は、ZFC 上で明確に述べられる純粋に集合論的な命題です。 2. Ricci…
Read more

Mathmatical Logicの分類

by TANAAKK
in Mathematics, Model Theory, Logic, Category Theory
on 2025-04-19

0

**Mathematical Logic（数理論理学）**は、数学の形式的構造・推論・真理の性質を研究する分野であり、数学そのものの“骨格”や“言語”を分析・設計する体系です。 🔷 数理論理学（Mathematical …
Read more

モデル理論｜Model Theory

by TANAAKK
in Model Theory, Logic
on 2025-04-19

0

モデル理論と独立性証明の関係は、数学の公理体系における「何が証明可能で、何が証明不可能か」を明らかにするための極めて本質的な枠組みに関わっています。以下に、段階的にわかりやすく解説します。 🔹モデル理論とは？モデル理論…
Read more