自然数、分数アンド小数、無理数、0、マイナス、虚数と拡張してたけど、虚数が最後?もっと他に数はないの?無いとしたらそれも証明済み?