Reverse Mathematics ile Forward Mathematics

Özet

Reverse mathematics aksiyom gücü analizi yaparken İLE forward mathematics aksiyomlardan teorem ispatı yapar

Formül