t_wの輪郭
RSS
背
理
はいり
背理
2022/5/23 11:49:00
背理法
背理
法
帰謬法
はいりほう
proof by contradiction
背理法
2021/8/1 10:15:00
無限降下法
『情報数学 I 第十二回: 述語論理』