算散士のページ

集合論はじめます。
また、せっかくCoqをいじったので．．．．．．．。 　

集合論へ

Coq（定理証明支援）を使ってみた。選択公理や基礎の公理からの、排中律の証明してみました。

何か．．．

掲示板

メール、fm@s.email.ne.jp

形式集合論　形式的集合論