>>908
よくは知らないけど可述算術では問題になるらしい（以下参照）
http://researchmap.jp/?action=cv_download_main&;upload_id=79018
>>909
「加法と乗法があって帰納法が許されてれば」それはもうPAでしょ。
弱い算術というにはそれらの内どれかを弱めないと。
数学基礎論・数理論理学 その16 [転載禁止]©2ch.net
レス数が900を超えています。1000を超えると表示できなくなるよ。
910１３２人目の素数さん
2016/08/21(日) 23:39:43.11ID:vUBjAEdnレス数が900を超えています。1000を超えると表示できなくなるよ。
ニュース
- ランドセルにくぎ刺される「国に帰れ」など言われ、転校を余儀なくされた海外からの転校生 仙台市教育委員会が「いじめ重大事態」認定★3 [煮卵★]
- 交際男性の乳首を切り 「やらないなら出て行け」左手薬指を切断…24歳女に保護観察付き有罪判決・男性は執行猶予求める (大阪地裁) [少考さん★]
- 「いいの？前科ついちゃうよ」万引きした女子大学生を脅す 元コンビニ店長の男（54）逮捕 ★2 [煮卵★]
- 【サッカー】W杯の新ルールで一発レッドで退場！ パラグアイの10番アルミロン、口元を手で隠す行為 [冬月記者★]
- 【MLB】大谷翔平、第2子誕生へ 育休でチームを離脱 球団が発表…週末には復帰予定 長女誕生から1年 ★2 [jinjin★]
- 【テレ東音楽祭】長渕剛、テレ東初出演！『とんぼ』『乾杯』熱唱へ 酒井法子は『碧いうさぎ』歌唱 [Ailuropoda melanoleuca★]
- 【悲報】高市早苗容疑者、周囲に「土日も休んでいない。休めない」などと意味不明な供述をしている模様 [731544683]
- ⛵👒👊☠👊🏝🏡
- 朝日新聞「G7サミットの招待国も含めた記念撮影を前に、強い日差しを浴びる高市早苗首相」 [931948549]
- 👩女性「大谷翔平、産ませてすぐ妊娠させるって………ドン引き」 [762037879]
- 【実況】博衣こよりのえちえちうたわれるもの 白への道標🧪★5
- 愛国者「日本国民って優秀なのになんで国会議員だけ無能なの？」→20万いいね [834922174]