>>122
>「2×4」は「8」である、つまり「2×4=8」、は必ず真だが、
>「8」は「2×4」である、つまり「8=2×4」、は必ず真か？
いいたいことは分かるが、「2×4=8」、「8=2×4」はどちらも必ず真だな。
答えを表す元の式は一意的に定まりますかってことだろ。
これは一般には一意に定まる訳がない。