すごーい！じゃあさ、公理スキーマは恒真式であり、推論規則は真理値を保存する事を示すんだね！

[1 二次元好きの匿名さん 25/08/21(木) 19:22:39]

有限段階の推論による式も恒真式であるため、任意モデルで真となるんだね！

[2 二次元好きの匿名さん 25/08/21(木) 19:24:50]

あーっ？(陳爺語録)

[3 二次元好きの匿名さん 25/08/21(木) 19:25:47]

あーーー何言ってるのかわかんねえよ

[4 二次元好きの匿名さん 25/08/21(木) 19:25:56]

数学の中でもマイナーな公理的集合論なんて伸びませんよ

[5 二次元好きの匿名さん 25/08/21(木) 19:26:18]

おそらくクロアチア語だ

[6 二次元好きの匿名さん 25/08/21(木) 19:26:57]

>>5

ふざけんなっどう見てもひらがなと漢字やから日本語やろがっ

おらーっ出てこいや平安人多分古文やろー！

[7 二次元好きの匿名さん 25/08/21(木) 19:28:02]

>>1

[8 二次元好きの匿名さん 25/08/21(木) 19:29:09]

">>4"、なんか知ってるっぽいお前がこのスレを伸ばせ

[9 二次元好きの匿名さん 25/08/21(木) 19:29:56]

>>2>>3>>4>>5>>6

[10 二次元好きの匿名さん 25/08/21(木) 19:32:07]

>>9

マオ君の正体見たり！

若き数学科の教授だったのかぁ！

[11 二次元好きの匿名さん 25/08/21(木) 19:34:19]

>>8

知らない…知ってても言わない

ワシの専攻幾何学やったし

[12 二次元好きの匿名さん 25/08/21(木) 19:46:11]

うわぁやめろぉ10年以上前のトラウマを蘇らせるのはやめてくれえ！

[13 二次元好きの匿名さん 25/08/21(木) 23:44:23]

>>4

お言葉ですがこの辺になると全部マイナーですよ

[14 二次元好きの匿名さん 25/08/21(木) 23:47:49]

作中のみぃちゃんの4倍はかしこいですね