現代数学の系譜工学物理雑談古典ガロア理論も読む83

現代数学の系譜工学物理雑談古典ガロア理論も読む83at MATH

現代数学の系譜工学物理雑談古典ガロア理論も読む83 - 暇つぶし2ch292:１３２人目の素数さん
20/02/12 01:50:04.65 UvpDJSC3.net
四則演算のルールは有限でありあらゆる計算を一つの計算で表せるため
任意の有限計算に対するコンパクト性定理により、定理は如何なる計算でも成立する
またある理論の充足可能性はその有限部分の充足可能性と一致するため
あらゆる計算＝あらゆる理論の充足可能性は証明された

次ページ

続きを表示

1を表示