>>143
存在例化
https://wiis.info/math/logic/predicate-logic/existential-elimination/
なぜ、ZFC公理まで遡らなくても数学が出来るの？
■ このスレッドは過去ログ倉庫に格納されています
144１３２人目の素数さん
2024/12/01(日) 15:24:00.88ID:P6Qdo9Mu■ このスレッドは過去ログ倉庫に格納されています
ニュース
- ガーシー「なんで刺青入ってたらサウナあかんの？」「外国人はOKってとこ、おかしない？」「もーファッションの一部になってきてるのに」 [冬月記者★]
- 【芸能】『キングオブコント2026』 ジェラードンが優勝！ 19代目王者に 3445組の頂点 [冬月記者★]
- 【野球】セ･リーグCS第4戦 T 5-8 DB [10/17] 横浜DeNAベイスターズ4連勝日本S進出！ 阪神あと1球コールから4失点逆転負け★4 [鉄チーズ烏★]
- 「こんなの国民をバカにしてますよ！」 年金月14万円・72歳男性、40年以上働いてきたのに老後も「節約続き」のワケ ★2 [首都圏の虎★]
- 「脳みそが飛出た遺体」「NHK集金のような寄付、逆らえば村八分」「だんじりベイビー」岸和田市民が語る“だんじりに支配された町” ★3 [おっさん友の会★]
- 新給付制度、平均3万円案を提示 27.28年度、2千万人対象 [蚤の市★]
- くら寿司のスレ多くない？ [882118878]
- 🏡㊗もうすぐ2周年‼👊😅👊🏡
- Dena 日本シリーズ辞退へ
- 【動画】フランスの暴動、なかなかやばい😨 [834922174]
- 【高市悲報】フランス人の日本人叩きツイート、20万いいね達成ｗｗｗｗｗｗｗｗｗｗ [834922174]
- 肉のないカレー