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