日本人の著者の中には、“恒真命題”なんて用語を使っているアホがいるぜw。

ーーーーー>『ゲーデルと20世紀の論理学1〜4』