>>331
それを説明するのは無理だ
形式的体系で説明できるのは飽くまでも形式化された後のルールに則ったことだけ
推論規則なんかを持ち出して説明しても無意味
形式化によって問題の在り処をどこまでも遡れるわけではない
分からない問題はここに書いてね435
■ このスレッドは過去ログ倉庫に格納されています
334１３２人目の素数さん
2017/10/22(日) 02:05:14.76ID:ucC0W3rz■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 【サッカーW杯】開催国アメリカがGS2連勝！ 前半に２ゴールを奪取、オーストラリアに２-０で快勝 [鉄チーズ烏★]
- 《皇室乗っ取りクーデター》麻生太郎氏 “養子案”主導に広がる反発…“天皇の外戚になる可能性”との指摘も [バイト歴50年★]
- 高木豊氏 本田圭佑のＷ杯解説に私見「相手の選手も知らないと、野球ではボロカス言われるよ」★2 [jinjin★]
- 東京駅で切符紛失→「3倍払って」と言われ→拒否すると「警察呼ぶ」と言い始め警備5人が包囲… BD選手のトラブル報告にネット紛糾★2 [冬月記者★]
- 東京 北区 小学校で火事 児童ら計11人病院搬送 うち3人が骨折 ★2 [蚤の市★]
- トランプ氏の「侮辱的発言」にメローニ氏反論、外相の訪米中止に発展 [蚤の市★]
- 自民党、国会内に監視カメラ設置し活動監視へ 高市😎 [399259198]
- オーストラリア「1976年以降ずっと少子化だけど人口７倍になって国民は時給3000円年収1000万円が平均です」 [819729701]
- 【悲報】お洒落ヴイ一ガンカフェをオープンした夫婦、向かいにラーメン二郎ができてとんでもない豚骨臭を放ち始めておわる [398059782]
- 【FIFAワールドカップ2026】 D組アメリカ×オーストラリア4:00(NHK3:45~,DAZN),C組スコットランド×モロッコ7:00(フジテレビ6:00~,DAZN) [226731781]
- なんG民が「そろそろ乳首を見せてくれるのではないか」と予想してる女性有名人
- 29歳で資産5200万って多いのか？