数学基礎論 | 実用的な数学を - Part 2

2019年5月2日2025年7月29日

数学的帰納法 Induction

|| 基礎的な公理を証明に応用

「 $n$ 番目の存在」を保証する証明方法

続きを読む

2019年5月1日2025年7月19日

加法 Addition

|| 足し算を意味する写像のこと

「加算」とも呼ばれる「和」を得る操作

続きを読む

2019年5月1日2025年7月17日

数 Number

|| 知ってるようでほとんど知らない

『順序』や『量』を表す概念のこと。

続きを読む

2019年4月30日2025年9月25日

公理的集合論 Axiomatic Set Theory

|| 集合論から得られた数学の公理

『直感的な集合論』を厳密に整備した集合論のこと

続きを読む

2019年4月26日2025年9月23日

宇宙 Universe

|| 全体を意味する実体のこと

物理学でも数学でも「全体」を意味します

続きを読む