Coerenza (logica matematica): differenze tra le versioni

Contenuto cancellato Contenuto aggiunto
clean up, replaced: → (2), e '90 → e novanta using AWB
ValterVBot (discussione | contributi)
m Bot: Elimino interlinks
Riga 28:
 
[[Categoria:Logica matematica]]
 
[[ar:التناسقية]]
[[cs:Bezesporná teorie]]
[[de:Widerspruchsfreiheit]]
[[en:Consistency]]
[[es:Consistencia (lógica)]]
[[fa:سازگاری (منطق ریاضی)]]
[[fi:Konsistenssi]]
[[fr:Cohérence (logique)]]
[[he:עקביות (לוגיקה)]]
[[ky:Карама-каршылыксыздык]]
[[nl:Consistentie (logica)]]
[[pl:Niesprzeczność]]
[[ru:Непротиворечивость]]
[[simple:Consistency proof]]
[[sv:Konsistens (filosofi)]]
[[zh:一致性 (邏輯)]]