t_wの輪郭
理
背
背理
2022/5/23 2:49:00
背理法
法
背理法
2021/8/1 1:15:00
『情報数学 I 第十二回: 述語論理』
無限降下法