選択公理を受け入れると、「意味のある面積を定義できない図形」が存在することを証明できる （ルベーグ測度を参照）。 このような「図形」（簡単に図示することは出来ない）はがある）。 このような集合は現実の世界では生じない。