そういう話ではないようです
単に、数学においてメタレベルでの概念を導入することは必然なのか、というような話みたいですね

あなたの言うような意味での『存在』も考えられるわけですから、存在という用語は排除すべきだというのが私の考えです