Numbers exist only in our heads. They are results of formal symbol manipulations. What does "to exist" mean for number which can not be written down as some fo

Numbers exist only in our heads. They are results of formal symbol manipulations. What does "to exist" mean for number which can not be written down as some formula (in broad sense of this word) in formal language?