構成可能集合

ゲーデルの構成可能集合（こうせいかのうしゅうごう、 constructible universe または Gödel's constructible universe）とは、クルト・ゲーデルによって導入された、集合論の公理を満たすモデル上で空集合から帰納的に構成していける集合のことである。より正確な定義は後に述べる。