白星フウさんの次のツイートについて、どう思いますか？ 「『数学の真髄-論理•写像-』のp93〜95クソです。著者は全体集合や条件の定義を理解してない。 +0xという無意味な正当化をしているけど、+0zがない理由を説明出来ていないし、そもそも全体集合を先に指定するのが筋なので、この哲学自体が無意味です。単に全体集合をR²とするの一言で終わる話です。」

「⇒」や「⇔」は、命題変数や述語記号をつなぐ記号ですよね？ならば例えば数学の答案などで、具体的な命題同士をこれらの記号で繋ぐのはおかしい、というか不正確だと思ってしまうのですが、いかがなのでしょうか、

真理値は論理学の人工言語(記号言語)の世界の概念で、命題の真偽を表す記号、という解釈で合ってますかね？誤っていたら正しい理解を教えていただけるとありがたいです！