自然数が存在すれば整数が作れるし、
四則演算を定義すれば有理数も作れる。
更に極限を導入すれば実数も作れて、
√-1(i)を作れば複素数も作れる。

NもZもQもRもCもすべて存在するってことだ。
存在するってのな何も姿かたちが無くちゃならんというものではない。