投稿日: 2019年5月1日2025年7月30日最小元原理 Well-Ordering Principle || 自然数の集合には最小の値が含まれる「最小元の存在」を保証する公理“最小元原理 Well-Ordering Principle” の続きを読む
投稿日: 2019年4月6日2025年12月20日LKの推論規則 Logischer Kalkül || LK (論理計算) の意味は初見じゃ分からない「推件式」で整理された「推論規則」のこと“LKの推論規則 Logischer Kalkül” の続きを読む
投稿日: 2019年4月1日2025年12月18日代入規則 Substitution Rules || 記号を入れ替える時の規則「問題無く代入ができる」の具体的な中身“代入規則 Substitution Rules” の続きを読む
