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