実在とかいう哲学屋が好む意味不明な言葉を使ってる限り数学的な議論はできない。
数学的な「存在」は自明で、数学的に無矛盾に定義できる。