ブルバキの述語論理体系から必然的に「選択公理」が定理として導かれることの説明です。 続きを読む
@evinlatie さんによる非可算順序数の順序位相が距離づけ不可能であることの証明です。 続きを読む
数学用語の読み間違いリストです。なんか関係ないのもいくつか入っているかも。集め忘れとかありましたらごめんなさい。 続きを読む
@evinlatie さんによる「可算全順序集合が有理数体の通常の順序の部分順序になること」の証明です。 続きを読む
1
36
