数学者は「存在する」という言葉で何を表現してるんですか。