レーヴェンハイム・スコーレムの定理という、一見摩訶不思議な定理があってだな