14/08/25 23:44:51.66
基礎論やってる人ならこんなトンチンカンなこと言わんよ
>>146は否定導入則と背理法を区別していない
√2の無理性の二通りの証明はどちらも否定の導入に過ぎない
14/08/25 23:44:51.66
基礎論やってる人ならこんなトンチンカンなこと言わんよ
>>146は否定導入則と背理法を区別していない
√2の無理性の二通りの証明はどちらも否定の導入に過ぎない
14/08/25 23:44:51.66
基礎論やってる人ならこんなトンチンカンなこと言わんよ
>>146は否定導入則と背理法を区別していない
√2の無理性の二通りの証明はどちらも否定の導入に過ぎない