1001コメント266KB

高校数学の質問スレPART360

■ このスレッドは過去ログ倉庫に格納されています

0459１３２人目の素数さん

2013/11/12(火) 01:02:48.15

>>452
いや俺も基礎論はかじっただけで詳しくは知らないが
自然推論（自然演繹）の（￢I）と背理法は厳密には違うものらしいよ
参考文献『Q&A数学基礎論入門』

■ このスレッドは過去ログ倉庫に格納されています