>>552
何言ってんの？
とっくに受容されて浸透してるよ
型理論はブルバキの公理的集合論と等価であることが判明しているから
ZFC公理系に基づく数学・自然科学は既に型理論と同じく自己言及による矛盾が起こらない体制しかこの世に存在してない
テキストには公理的集合論の基礎として「集合の集合を集合族と呼び、集合族も集合の一種である。しかし集合族はその要素である集合とは別のものとして扱われる。」程度の記述しかない。
この極めて短い記述こそが全ての形而上学を永久に殺す文言なのだと理解が浅い者は死ぬまで気づかないのだ
自然科学はノリや雰囲気で形而上学を避けているのではない
形而上学が絶対に存在不可能な公理的集合論を基礎にしているため
雰囲気ではなく論理の力で絶対的に形而上学を排除している
受け入れられているどころか現代の教育ではこれ以外の論理は存在すらしていないことになっている