0496１３２人目の素数さん
2018/02/24(土) 13:17:59.60ID:FQ4rrzCSこの流儀だと公理はなくてそれを担うのが推論規則
推論規則を2つにして後全部公理化してもいいけど
全部推論規則にした方が対称性もあって美しい感じ
大学学部レベル質問スレ 9単位目
■ このスレッドは過去ログ倉庫に格納されています
この流儀だと公理はなくてそれを担うのが推論規則
推論規則を2つにして後全部公理化してもいいけど
全部推論規則にした方が対称性もあって美しい感じ
■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 円急落、34年ぶり158円台 日銀の政策維持で―ＮＹ市場 ★4 [蚤の市★]
- 吉村知事「0歳児に選挙権を持ってもらうべき。親が代理で選挙権を行使する。僕は子どもが3人だから4票の影響力がある」 [Hitzeschleier★]
- 【維新】吉村知事「0歳児から選挙権を持ってもらうべき。親が代理で選挙権を行使する。僕は子どもが3人だから4票の影響力がある」 ★2 [Hitzeschleier★]
- 「なんで私があなたの子どものために」 広がる「子持ち様」批判 ★5 [蚤の市★]
- 【ドジャース】大谷翔平、3試合ぶり7号！直近5試合3発でチームトップに浮上、ロバーツ監督の記録に並ぶ [フォーエバー★]
- 円安の影響「大きくない」 日銀総裁、当面は緩和継続 ★5 [蚤の市★]
- 日本、“後進国”に転落か [303493227]
- 【実況】博衣こよりのえちえちFF9リバース【デートあり】🧪
- 【実況】博衣こよりのえちえちFF7リバース【デートあり】🧪
- 山田太郎に英語のミドルネームつけようぜｗｗｗｗｗｗｗｗｗ
- 中学生で株 19歳で資産1億円超に [303493227]
- 【実況】博衣こよりのえちえちFF8リバース【デートあり】🧪