Reverse Mathematics ile Forward Mathematics
Matematik
İstatistik
Normal
Özet
Teoremlerin gerektirdiği aksiyom gücünü çözen matematiktir. İLE Aksiyomdan teoreme giden olağan matematiktir. İlki tersine, ikincisi ileri yönde çalışır.
Ayrıntılı Açıklama
Reverse mathematics aksiyom gücü analizi yaparken İLE forward mathematics aksiyomlardan teorem ispatı yapar
Formül: Subsystem analysis
Formül: Subsystem analysis
Formül
Subsystem analysis