0791132人目の素数さん垢版 | 大砲2018/05/15(火) 07:50:45.09ID:sZH9UNqq 日本人の著者の中には、“恒真命題”なんて用語を使っているアホがいるぜw。 ーーーーー>『ゲーデルと20世紀の論理学1〜4』