Forcing ile Classical Logic
Matematik
Çözümleme(Analiz)
Normal
Özet
Küme kuramında tutarlılık kanıtlama tekniğidir. İLE Olağan, klasik mantıktır. İlki, ikincinin ötesinde bir bağımsızlık aracıdır.
Ayrıntılı Açıklama
Formül: Generic extension
Formül
Generic extension