ヴィタリ集合
数学において、ヴィタリ集合(ヴィタリしゅうごう、英: Vitali set)とはジュゼッペ・ヴィタリ(英語版)(Giuseppe Vitali (1905))によって作られたルベーグ非可測な実数集合の基本的な例である。ヴィタリの定理はそのような集合が存在することを保証する存在定理である。不可算個のヴィタリ集合が存在し、それらの存在は選択公理の仮定の下で示される。1970年にロバート・ソロヴェイ(英語版)は、到達不能基数の存在を仮定することにより、全ての実数の集合がルベーグ可測となるような(選択公理を除いた)ツェルメロ・フレンケル集合論のモデルを構築した。