RCA₀ İLE WKL₀ İLE ACA₀ İLE ATR₀ İLE Π¹₁-CA₀ ile/||/<> TERS MATEMATİK
Sözcük Ağacı Görünümü
Sözcükler:
RCA₀ İLE WKL₀ İLE ACA₀ İLE ATR₀ İLE Π¹₁-CA₀
TERS MATEMATİK
Bağlaç Açıklamaları:
İle
Ve
Değil
Yerine
Paralel
›‹
Karşıt
← İçe
→ Dışa
Veya
( Teoremlerin aksiyom gücü. )
FaRkLaR Kılavuzu 01.10.2025 [16:24]
( Formül: Theorem → Axioms )
FaRkLaR Kılavuzu 01.10.2025 [16:24]
