宇宙(数学)
宇宙(うちゅう、Universe)
数理論理学において、構造 (もしくはモデル) の宇宙（うちゅう、英: Universe）とは議論領域のことである。
数学、とりわけ集合論や数学基礎論における宇宙とは、特定の状況において考察される実体のすべてを元として含むような類のことである。
ref:
宇宙 (数学) - Wikipedia
カントールの
素朴集合論
辺りから
ラッセルのパラドックス
があることがわかった
ラッセルが
ジラールのパラドックス
カントールのパラドクス
ブラリ・フォーティのパラドクス
Hurkensのパラドックス
宇宙にもいろいろある
集合論方面
グロタンディーク宇宙
フォン・ノイマン宇宙
構成可能宇宙
型理論方面
ラッセル流宇宙
タルスキ流宇宙
型宇宙
類
(
クラス
)
確認用
Q. 宇宙(数学)
参考
宇宙 (数学) | 巨大数研究 Wiki | Fandom
type universe in nLab
関連
型理論
メモ
最近の型理論： 宇宙・世界・銀河 もう少し - 檜山正幸のキマイラ飼育記 (はてなBlog)
包括原理、ラッセルのパラドクス、ラッセルの(分岐)型理論、(ラッセルの)構成主義、部分構造論理 - 曇りなき眼で見定めブログ
『Intuitionistic Type Theory』
#集合論
#数学