「普通数学」（実在主義）では、「真」を定義にはしない。
ただ、数学的対象物に対する主張が正しいことを真と言い、
間違っていれば偽と言うだけだから

まあ、こんなものでも数学的定義と呼びたければ、それも
ありだと思うよ。結局、言葉の選択問題に過ぎないけどな

>>608
＞君の間違いは、真偽判定＝証明探索だと思ってること。
＞でも実は違うんだ。つまり「これ旨いね」という発言に
＞何の証明がなくとも、君が旨いねと思ってそういったなら
＞それは真実なんだよ。
あーあ、やっちゃいましたか？うんうん。
君は

感想が本心であれば、正しい
感想が本心でなければ、間違っている

というように表現するんだね。俺はそんな言葉使いは
控えたいね。ところで、俺は本心から「これ旨いね」
は真偽判定の対象ではないと思っているわけだから、
俺は正しいよ。おっと、つい使ってしまったｗ