大基数之图景

本文旨在提供集合论中大基数层级的入门概览。所谓大基数，我们是指任何其存在性足以作为强假设以证明 ZFC 一致性的基数 $\kappa$。我们假设读者对集合论、模型论以及 ZFC 公理具有基本了解，尽管某些概念会在必要时予以回顾。我们试图厘清高阶无穷的广阔图景，并动机化地给出一些（当然并非全部）已知大基数的定义。我们还讨论了与连续统假设的联系，并就大基数一致性的信念提供了若干哲学反思。