言語 | 実用的な数学を

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

数学的帰納法 Induction

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

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

続きを読む

2019年4月9日2023年9月28日

同値 Equivalence

|| 同じっていう感覚の厳密な意味

「同じ」の形式的な表現。

続きを読む

2019年3月31日2025年11月29日

論理公理 Logical Axioms

|| どう見ても正しい論理式全部

あらゆる理論で正しいと言える「基礎的な公理」

続きを読む

2019年3月31日2026年1月11日

完全性定理 Complete

|| 正しいなら証明できるでしょ

『正しい』を「証明できる」で定義するには

続きを読む

2019年3月28日2025年9月24日

量化子 Quantifier

|| 量を扱うための形式的な表現

「量を表す時の表現方法」のこと

続きを読む