Follow

僕がよく言ってること
・ZF集合論から空集合の公理は外せる
・空集合の共通部分$\bigcap\emptyset$はZF集合論では定義できない
・$\bigcup\emptyset=\emptyset$
・2つの集合の直積集合のwell definedの証明は結構つらい
・写像の記号$f:A\to B$は集合論の記号だけでちゃんと定義できる
・一般の直積集合(無限直積を含むやつ)は写像で定義してください、"..."じゃ議論しにくい
・AC使うときは一言書いてほしい
・$\exists 1\in G,...$の1を定数記号で扱ったら(伝わるかもしれないけど)文法ミス。一階述語論理なら$\exists $の直後は変数記号しかダメ。
・単位的環(体)、加群(ベクトル空間)の加法の可換性は外せる

· · Web · 0 · 1 · 2
Sign in to participate in the conversation
Mathtodon

A Mastodon instance named Mathtodon, where you can post toots with beautiful mathematical formulae in TeX/LaTeX style.