俺「ブルバキでも読むか」　ブルバキ「論理記号は◻︎，τ，∨，¬である」 (14ﾚｽ)
上下前次1-新

---

6: 09/07(日)14:46 ID:CTxYlvA3(4/4) AA×


[240|320|480|600|100%|JPG|べ|ﾚｽ栞|ﾚｽ消]
6: [] 2025/09/07(日) 14:46:28.04 ID:CTxYlvA3 １はもう読んでないから知らないだろうが 集合論の第一章　形式的な数学の記述　§２　までは、 実は∈とか＝とかを中置記法ではなく前置記法で用いる つまり x∈y　a=b　ではなく ∈xy　=ab　と書く さすがに読みにくいせいか知らないが §３以降はより自然な記法を用いている （ただし英語でなくフランス語だが） http://rio2016.5ch.net/test/read.cgi/math/1757220431/6
１はもう読んでないから知らないだろうが 集合論の第一章 形式的な数学の記述 ２ までは 実はとかとかを中置記法ではなく前置記法で用いる つまり ではなく と書く さすがに読みにくいせいか知らないが ３以降はより自然な記法を用いている ただし英語でなくフランス語だが

---

上下前次1-新書関写板覧索設栞歴

---

あと 8 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

ぬこの手 ぬこTOP 0.170s*