talk:>>23 実数の集合が存在する以上、無理数も存在する。