Loading article…
数学の集合論において、マルチバースの見解とは、集合論には多くのモデルが存在するが、「絶対的」「標準的」「真の」モデルは存在しないという考え方である。様々なモデルはすべて等しく有効または真であるが、中には他のモデルよりも有用であったり魅力的であったりするものもある。これとは反対の見解は、集合論の「宇宙」の見解であり、すべての集合は単一の究極的なモデルに含まれるという考え方である。
（ある宇宙における） ZFCの可算推移的モデルの集合はハイパーバースと呼ばれ、「マルチバース」と非常によく似ている。
宇宙観と多元宇宙観の典型的な違いは、連続体仮説に対する姿勢である。宇宙観では、連続体仮説は真か偽かのどちらかであるが、どちらであるかはまだ決定できていない有意義な問いである。多元宇宙観では、集合論のモデルを選択する前に連続体仮説が真か偽かを問うことは無意味である。もう一つの違いは、「ZFCの推移的モデルはすべて、それが可算であるより大きなZFCモデルが存在する」という命題が、数学の多元宇宙観のいくつかのバージョンでは真であるが、宇宙観では偽であるということである。