>>868
https://en.wikipedia.org/wiki/Double-negation_translation#Results
it is in fact possible to prove that Peano arithmetic is Π02-conservative over Heyting arithmetic.
「abが3の倍数であるとき、aまたはbが3の倍数である」はΠ02命題なのでHeyting arithmeticで証明可能
分からない問題はここに書いてね425 [無断転載禁止]©2ch.net
レス数が900を超えています。1000を超えると表示できなくなるよ。
905１３２人目の素数さん
2017/04/29(土) 11:56:58.61ID:Pl8sYUHwレス数が900を超えています。1000を超えると表示できなくなるよ。
ニュース
- 自民支持率、消えた解散効果 22.8%に急落◆時事通信6月調査 [蚤の市★]
- 【節約】物価高でも「食費月1万円」は可能？ 月7000円台、レバーと100円キャベツで回す強者も★2 [ひぃぃ★]
- 日本行きツアー募集の中国旅行会社、一転して募集停止…関連報道広がり中国政府から圧力か [♪♪♪★]
- 大谷翔平 第２子誕生を正式発表「無事に生まれてきてくれてありがとう」 ★2 [ひかり★]
- 【香川】外国人材の受け入れ・活躍の促進へ 日本語研修などの経費を補助 [煮卵★]
- 【埼玉県警】国道で持ち運び可能なオービス盗まれる 速度取り締まり中 ★2 [nita★]
- 【STARDOM】スターダムワールド Part.121
- こいせん4 全レス転載禁止
- やくせん ★3
- 2026 MotoGP Lap34【チェコGP】
- とらせん 恵みの雨
- ハム専 気合入れていけ、ファイターズ
- 【実況】博衣こよりのえちえちホロ爆走祭 🧪 Part.2
- 【実況】博衣こよりのえちえちホロ爆走祭 🧪
- 厚労省、ハローワークでAIを使って仕事提案する実証実験を行う。職員の7割は「妥当ではない」と評価 [663766621]
- 【悲報】広報官、高市総理アピール投稿→コミュニティノートを付けられる [834922174]
- 🏡👊😅👊おやすみパンチ👊😅👊🏡
- 関西人「共通語の人怖い。ニュース読み上げてるみたいな話し方。感情無くしてる」