23/10/06 22:38:03.74 tsskr+sA.net
数学基礎論は、素朴集合論における逆理の解消などを一つの動機として、
19世紀末から20世紀半ばにかけて生まれ、発展した数学の一分野です。
現在では、証明論、再帰的関数論、構成的数学、モデル理論、公理的集合論など、
多くの分野に分かれ、極めて高度な純粋数学として発展を続けています。
（「数学基礎論」という言葉の使い方には、専門家でも若干の個人差があるようです。）
応用、ないし交流のある分野は、計算機科学の諸分野や、代数幾何学、
英米系哲学の一部などを含み、多岐にわたります。
（数学セミナー98年6月号、「数学基礎論の学び方」
URLﾘﾝｸ(www.math.tohoku.ac.jp)
或いは 岩波文庫「不完全性定理」 6.4 数学基礎論の数学化 などを参照）
従ってこのスレでは、基礎的な数学の質問はスレ違いとなります。
他のスレで御質問なさるようにお願いします。
前スレ
数学基礎論・数理論理学 その18
ｽﾚﾘﾝｸ(math板)
536:１３２人目の素数さん
24/12/18 07:07:07.03 maOdtkR0.net
さっさと出て来て、なぜ集合のことを集合ではなくクラスと呼ぶのか定義に基づいて説明しろよ
537:１３２人目の素数さん
24/12/23 11:43:18.67 hUexyzcT.net
74 名前：１３２人目の素数さん[] 投稿日：2024/12/23(月) 10:25:49.39 ID:xuo45Noy
「なぜ、ZFC公理まで遡らなくても数学が出来るの？」スレの989
>『{}∈{{{}}}』について、個別に真だの偽だのを論じたことはない
この期に及んで言い逃れかい？
じゃあ以下の何がなぜ間違いか言ってごらん
（引用開始）
また正則性公理と関係無く推移律 a∈b ∧ b∈c ⇒ a∈c は成立しない
実際 {}∈{{}} ∧ {{}}∈{{{}}} は真だが、{}∈{{{}}} は偽。
（引用終了）
>おサルさんたちが、自分たちの言い逃れのため、ヤクザのインネンを付けてきているだけのことよ
>めんどう臭いから、スルーしていますｗ （＾＾
間違いだとインネン付けてきたのは君。インネンである証拠に君は何がなぜ間違いかを言ってない。
538:１３２人目の素数さん
24/12/23 11:43:39.62 hUexyzcT.net
75 名前：１３２人目の素数さん[] 投稿日：2024/12/23(月) 11:22:56.67 ID:DXqGPbwQ
集合{{{}}}の要素とは
最外の{}を外した項の列の中のそれぞれの項
したがって{{}}しかない
これ豆な 知らん奴は大学１年落第