RCA₀ İLE WKL₀ İLE ACA₀ İLE ATR₀ İLE Π¹₁-CA₀ ile Ters Matematik
Matematik
Normal
Özet
Kuramların aksiyom gücü.
Ayrıntılı Açıklama
Reverse math:
- RCA₀: Recursive comprehension
- WKL₀: Weak König lemma
- ACA₀: Arithmetical comprehension
- ATR₀: Arithmetical transfinite
Big Five subsystems.
- RCA₀: Recursive comprehension
- WKL₀: Weak König lemma
- ACA₀: Arithmetical comprehension
- ATR₀: Arithmetical transfinite
Big Five subsystems.
Formül
Theorem → Axioms