投稿日: 2019年5月14日2025年1月10日測度論の基本定理 Fundamental || だいたい完全加法族とか測度の成立条件証明はちゃんとやるとかなり大変なので紹介だけ“測度論の基本定理 Fundamental” の続きを読む
投稿日: 2019年5月1日2025年7月30日最小元原理 Well-Ordering Principle || 自然数の集合には最小の値が含まれる「最小元の存在」を保証する公理“最小元原理 Well-Ordering Principle” の続きを読む
投稿日: 2019年4月6日2023年9月28日LKの推論規則 Logischer Kalkül || LK (論理計算) で戸惑う最も有名で使われまくってる「推論規則」「一階述語論理」で「完全」かつ「健全」“LKの推論規則 Logischer Kalkül” の続きを読む
