t_wの輪郭

Feedlyでフォローするボタン
背理帰謬法はいりほうproof by contradiction
無限降下法『情報数学 I 第十二回: 述語論理』