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?