25/10/21 03:04:49.73 +tHhg6Hh.net
>>1
おそらく既出と思うが
>ZFCが無矛盾であれば ZFC+「ZFCは矛盾している」 という理論も無矛盾であるが、
正しい
>この理論は真なるΠ01言明「ZFCは無矛盾である」
A⇒B から A を推論できないので間違い
>を自明に反証できる。
正しい
ゆえに一階述語論理の健全性の反例になっていない
240:１３２人目の素数さん
25/10/21 03:04:49.76 +tHhg6Hh.net
>>1
おそらく既出と思うが
>ZFCが無矛盾であれば ZFC+「ZFCは矛盾している」 という理論も無矛盾であるが、
正しい
>この理論は真なるΠ01言明「ZFCは無矛盾である」
A⇒B から A を推論できないので間違い
>を自明に反証できる。
正しい
ゆえに一階述語論理の健全性の反例になっていない
241:poem
25/10/21 21:23:25.06 4nXavK3w.net
条件とモジュールの構築は数学者に任せてる気でいる随筆を、578にした
ｽﾚﾘﾝｸ(occult板:575番)-576/
↓のコメントに対し
ｽﾚﾘﾝｸ(occult板:578番)-579/
─
雑多
ｽﾚﾘﾝｸ(sci板:39番)-66/
↓ビルトイン
URLﾘﾝｸ(itest.5ch.net)
─
～戦の用途の知力、とは
ｽﾚﾘﾝｸ(sci板:18番)-20/
─
ノーベル賞と研究予算が一切関連してないらしい
ｽﾚﾘﾝｸ(sci板:111番)-129/
─
URLﾘﾝｸ(itest.5ch.net)
・
URLﾘﾝｸ(itest.5ch.net)
─
不適合をしか知らぬならどちらにしろわからん。まず文節だったなんて
ｽﾚﾘﾝｸ(math板:4番)-16/
─
242:poem
25/10/26 20:54:29.44 p3jn4s/r.net
害でなく真に｢ﾀﾝﾎﾟﾎﾟ｣生甲斐は外れ値｢情報収集知力｣凄
URLﾘﾝｸ(itest.5ch.net)
─
悪い物へ対し、無数の内、外側項目の2解に含まれるならに限り、内側項目の無数個による掘り口が、1練磨プラクティスの外、善い実力が善い
ｽﾚﾘﾝｸ(emperor板:3番)-8/
─
美術館の事情
URLﾘﾝｸ(itest.5ch.net)
─
脚の痺れへの抵抗力は防御力は一瞬でなく徐々に動けるように
ｽﾚﾘﾝｸ(sci板:927番)/
─
宇宙種類2×3=6を。空間マンデラと時間マンデラ
ｽﾚﾘﾝｸ(math板)
─
女の動物好きって
ｽﾚﾘﾝｸ(emperor板:79番)/
─
243:poem
25/10/31 03:22:57.19 7+k4xyuz.net
ｽﾚﾘﾝｸ(emperor板:104番)/
同
URLﾘﾝｸ(itest.5ch.net)
同
ｽﾚﾘﾝｸ(sci板:176番)/
同
URLﾘﾝｸ(itest.5ch.net)
─植物の花の遠い未来に持つ人間への寄生能力を怖いと思う方が幸先よい事を─
─
えろい16リスト
ｽﾚﾘﾝｸ(emperor板:79番)-99/
─
キモイ迷言
ｽﾚﾘﾝｸ(emperor板:100番)/
─
【数板案件】→銘荷→論述→問題→【物術スレ案件】
ｽﾚﾘﾝｸ(sci板)
─
自動書記方々(…自分認識で→)二回目
URLﾘﾝｸ(itest.5ch.net)
─
ようは無印とdに測度があるなら未知の数学があること量度なら未知の数学がないことどちらなんだ
ｽﾚﾘﾝｸ(math板)
─
パルプンテ記念そのいち
ｽﾚﾘﾝｸ(sci板:211番)/
─
クロノトリガー雑記
ｽﾚﾘﾝｸ(emperor板:242番)/
244:poem
25/11/04 02:01:29.87 hf8yZ2ts.net
なぜ公理まで遡らなくても数学ができるのか？どこかで論証不十分になって証明できなくなるんじゃないのか？数学技法数学論法を使う、理系(非普遍的)は数学、文系(普遍的)は哲学、スレタイを哲学でも考えようぞ
URLﾘﾝｸ(itest.5ch.net)
─
造語
ｽﾚﾘﾝｸ(sci板:10番)/
─
老獪│狂言とは～解明│所感だけでなくできる事はどんな～
ｽﾚﾘﾝｸ(sci板)
─
ハヤブサの剣で二回攻撃
ｽﾚﾘﾝｸ(sci板:287番)-288/
─
🚨街中で勃起してはいけない、勃起隠さなきゃいけない理由が何故か出た🚨
ｽﾚﾘﾝｸ(emperor板:243番)-248/
─
🚨路上露出、路上放尿、しては法律違反な理由がわかった。露出より放尿のが軽度。異性ハッテン場防ぐ法律防波堤作らなきゃいけない理由🚨
ｽﾚﾘﾝｸ(emperor板:573番)/
─
金剛と徒手空拳は一体
ｽﾚﾘﾝｸ(sci板:563番)/
245:poem
25/11/12 19:30:05.81 ApXRJQVo.net
これこのスレに関係
URLﾘﾝｸ(itest.5ch.net)
246:poem
25/12/08 21:58:10.70 4XP/SFbz.net
人間の胚の成長因子の伝達経路が
ｽﾚﾘﾝｸ(sci板:20番)/
─
今わかったことが雑記形式になるので宜しくお願い─販売値も無料の簡単だったね！
ｽﾚﾘﾝｸ(sci板)
─
🚨性的な新出情報が始まります─🚨色々わかったね！
ｽﾚﾘﾝｸ(emperor板:104番)-120/
─
月読アイと月読ショウタ
ｽﾚﾘﾝｸ(emperor板:131番)-134/
─
主役化ヘイト→(の大衆は)→太郎化ヘイト→(も空撃ち)
ｽﾚﾘﾝｸ(emperor板:257番)-258/
─
なるほど論理の兼ね合いジャンルか～倒産と代頭について～
ｽﾚﾘﾝｸ(emperor板:86番)-89/
─
巷｢異世界には科学が発達難しい理屈があるのか？｣問
ｽﾚﾘﾝｸ(emperor板:147番)-148/
─
集団内外の
ｽﾚﾘﾝｸ(emperor板:117番)-118/
247:poem
25/12/20 20:06:05.32 S/vL4lNT.net
(物理学)安定の谷というフローチャート
ｽﾚﾘﾝｸ(sci板:671番)/
─
三次元
ｽﾚﾘﾝｸ(math板)
─
暗記は運なのか
URLﾘﾝｸ(itest.5ch.net)
─
｢優先学｣とは？
ｽﾚﾘﾝｸ(occult板:151番)-169/
─
子供が救えて
ｽﾚﾘﾝｸ(emperor板:78番)-82/
─
水平思考と垂直思考でAIを越えよう。出落ち
ｽﾚﾘﾝｸ(math板)
─
位相空間結晶続き。｢｢But So｣｢So But｣｣
URLﾘﾝｸ(itest.5ch.net)
─
位相空間結晶続き。｢原始一覧or原初一覧｣｢学問一覧は理由を説明できる。これは理由を悪なる説明はできず善なる説明は沢山作れるが全ての説明が本当の所を言い当てていない説明が実在しない一覧｣｢が実在する｣。これを特定する説明
URLﾘﾝｸ(itest.5ch.net)
─
殺陣系の戦闘
ｽﾚﾘﾝｸ(emperor板:151番)/
248:poem
26/01/05 13:59:22.05 rnb1XUk2.net
986 poem 226/01/05(月) 13:46:43.33
物理学の質問なんだけど
↓
内功がまだ見つからないこれ児戯
URLﾘﾝｸ(itest.5ch.net)
↑
オカルト見つけちゃったどうしよう
249:BLACKX
26/01/06 22:47:02.56 y3EWgf47.net
>>240
レス遅くなったすまん、、、
なるほど、じゃあどう足掻こうにもB→Aが証明出来ないということか
淡い期待だが、何か特定条件下で推論出来るものあれば教えてくれたらガチ検しますのでご自由にお書きください
250:BLACKX
26/01/06 22:47:35.76 y3EWgf47.net
だがアボーン、お前はダメだ消えろ
251:poem
26/01/07 03:14:16.78 w6sNuE06.net
274poem
226/01/07(水) 03:10:01.55ID:w6sNuE06
質問
y^2＋x^2=r^2の円の方程式って
ブラケット記法的に、
y=xを一番簡単なブラケット記法に
円の方程式が複雑記法に表記もできるけど
円の方程式は同じく簡単な表記にもできたり
なんてしないか？
252:poem
26/01/07 03:23:15.26 w6sNuE06.net
275poem
226/01/07(水) 03:21:55.12ID:w6sNuE06
円の方程式を複雑ブラケットも簡単ブラケットもできるなら
難化と易化の技巧やらが
ブラケットタイプというのがあるのか？だがブラケットタイプの量次元化とか
253:poem
26/01/08 17:14:17.00 e1ym77IK.net
定量的と定測的。編み目拡大ｽｶｽｶ量、編み目不変ﾐﾂﾐﾂ測
URLﾘﾝｸ(itest.5ch.net)
254:poem
26/01/18 07:41:30.05 CPCY0fvk.net
式間を繋ぐと失われるかわかる物、新たな数学式
ｽﾚﾘﾝｸ(sci板:15番)-27/
─
255:poem
26/01/20 13:15:26.08 KE+CEPah.net
6面ダイスの揃う確率はブラケットで無い！
ｽﾚﾘﾝｸ(math板:12番)-18/
─
256:poem
26/01/27 14:25:42.30 H3iD3dTm.net
報告
↓
不停止式、停止式、外苑式、中間式
ｽﾚﾘﾝｸ(sci板:119番)-131/
257:１３２人目の素数さん
26/01/27 16:17:33.75 ScmVR/Fi.net
まったくわからん
258:１３２人目の素数さん＠そうだ選挙に行こう
26/02/08 07:32:38.84 0ASrIY5eZ
国民を人間の盾にして女こと゛も以外出国禁止にして戦わせて他國まで巻き込んでまで利権に執着してるキチカ゛イナゼレンスキ一だが
クソ航空機破壊しまくりクモの巣作戦には見直したよなこれぞ現代戦の極意だが一方重厚長大昭和腦日本は騒音でIT壞滅させながら爆笑軍拡
銃刀法廃止すればマッチポンプ税金泥棒クソポリ解体できて國防にもなるのが本質
力によるー方的な現状変更によって都心まで数珠つなき゛で大騷音まき散らして気候変動災害連発させて憲法ガン無視で人殺しまくって
私腹を肥やしてるJALだのANAだのクソ羽田た゛のクソ成田だのも木端微塵に破壞してくれたなら金正恩だろうとプーチンた゛ろうと全面支持して
送金までするよな何しろ世界中で洪水やら引き起こして200萬人以上殺害して難民1億人以上に600兆円以上もの経済損失に日本では知的産業に
国際競争カにと壊滅させて国民貧困化に治安まで悪化させてる諸悪の根源がクソ航空機であり国土破壊省であり自民公明国民玉木不倫
古米は豚の餌雄一郎党だからな軍拡してΝATOにまて゛加盟しようとしてた脅威を除去するつもりがゲリラ化して手に負えなくなった模様
航空機連絡先情報 noise.wｅb.fc2.com
259:１３２人目の素数さん
26/04/05 20:50:18.56 kiBG3DuoN
国連か゛需要を抑えろと各国に要請してるのすらガン無視で貧乏人から強奪した1兆円もの税金使ってガソリン補助この期に及んで温室効果ガス
倍増させて気候変動災害連発国民を殺して殺して殺しまくるために首相になって円安物価暴騰させて嬉しがってる全世界ドン引きの人類史上
最悪のキチガイテ口リストババァハ゛カ市早苗にとっとと破防法適用して死刑にすべきだろつか革命防衛隊はこんな世界最惡のテロ国家日本対策
として除去に１00年はかかるほと゛ホルムズ海峡機雷で埋め尽くせよついでにクソ公明は野党になっても強盗殺人推進してるし消えろや邪教ども
ガソリン補助で物流コスト抑制できるだのほざいてるバ力がいるが百害あって一利なしのクソ公務員に金くれてやったらクソ公務員が金使って
経済効果だのほざいてるバ力並に荒唐無稽むしろクソ公務員給料廃止すればこれまで何十兆円もの税金泥棒してきたJALだのANAた゛のテ□リス├
との天下り賄賂癒着構造ぶち壊せて物価高抑制静音か゛生命線の知的産業回復デジタル後進国の盆暗構造一変して合理化お前らの貧困生活か゛
人並みに回復するのは明らかた゛ぞちなみにこの１兆円って規模は貧困世帯にバラまいたなら1世帯あたり27萬というべら棒な金額だからな
令和の成田闘爭頑張ろう! noisｅ.wеb.fc2.com