2012-06-01から1ヶ月間の記事一覧

メモ

書きかけだった数学やLisp・Schemeの文章、プログラムをあらかた破棄した。他は未定。

反復的集合観と公理的集合論

反復的集合観とZFCについて