>>861
だから定義によるって言ってるじゃん。
数学的には、ある関係が真ならば、その関係に現れる一つの対象を自由な変数に置換した関係を満たす自由な変数が存在するは真として、他に等号に関する公理と理論毎の存在を保証する公理を設けるって感じだろうけど、
物理的な存在ってのは、その時々のみんなの共有できる思い込みがベースだから形式化（定義を与えることで正当化する）は難しいでしょ。