ヒナコフスキーの表現定理

ソフィア=ヒナコフスカヤによる気まぐれ日記帳です

数学基礎論

現代数学の基礎・集合論入門(1)-集合論言語と外延性公理

現代の数学は殆どの場合,集合を用いて議論が展開される.集合とは「数学的対象の集まり」として定義されるものである.これを用いることで,数学の議論を整理することができる.例えば,整数は「を整数とする」というように書いていた文は, を整数全体の集合と定…