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