2020-12-08から1日間の記事一覧
私はZFC公理系から この記事は B4UT Advent Calendar 2020 12/8 に登録されています。 b4utmzi.wixsite.com はじめに 第1章 ZFC公理系 §1 基本的な約束 §2 ZFCの公理 (1) 外延性公理(Extensionality) (2) 削除 (3) 空集合(Nullset) (4) 対(Pair) (5) 合併(Su…
私はZFC公理系から この記事は B4UT Advent Calendar 2020 12/8 に登録されています。 b4utmzi.wixsite.com はじめに 第1章 ZFC公理系 §1 基本的な約束 §2 ZFCの公理 (1) 外延性公理(Extensionality) (2) 削除 (3) 空集合(Nullset) (4) 対(Pair) (5) 合併(Su…