カテゴリー: Zermelo–Fraenkel with the axiom of choice

この論理式は、数学の集合論における「選択公理（Axiom of Choice）」の定義です。 論理式の構成と翻訳 この式は、「前提（条件）」と「結論（主張）」の2つの部分で構成されています。 1. 前提：どのような集合 …
Read more

1. アジリエル・レヴィ（Azriel Lévy）の足跡 レヴィは、現代集合論の基礎を築いた巨人の一人です。彼が提唱した「反映原理 reflection principle」は、宇宙の巨大さと、その断片が持つ情報の等価性…
Read more

数学は計算技術として始まり、のちに計算を省略する技術として発展しました。人類の「認識の解像度」が上がるにつれて、宇宙の記述形式、および、宇宙の外の記述形式（Axiomaticity）がより抽象的かつ普遍的な階層へとシフト…
Read more

ZFCの公理が9個or 10個なのは、「空集合の公理」を独立させるか、他の公理から導出できるとみなすかという、数学的な構成上の違いに起因します。 1. 空集合の公理の「独立性」 もっとも大きな理由はこれです。 2. 「公…
Read more

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

「大きな基数（large cardinal）」と「決定性（determinacy）」の研究は、**集合論（とくにZFCの拡張）**における最深部のテーマの一つです。 🔷 1. 大きな基数（Large Cardinals）…
Read more

ZFC以外にも、数学的証明の検証に用いられるメジャーな論理体系（形式体系）**は複数存在し、それぞれが異なる哲学・応用目的を持っています。 ■ 1. 型理論（Type Theory） ● 代表例: Martin-Löf型…
Read more

Zermelo–Fraenkel set theory with the Axiom of Choice（ZFC）とは、現代数学の基礎をなす集合論の標準的な公理体系のことです。数学のあらゆる対象（数、関数、空間など）を「…
Read more

Zermelo–Fraenkel set theory with the Axiom of Choice (ZFC) is the standard foundational system for most of mod…
Read more

ZFCとは、Zermelo–Fraenkel set theory with the Axiom of Choice（選択公理付きツェルメロ・フレンケル集合論）の略で、現代数学のほぼすべてを支えている標準的な公理系です。…
Read more