Coerenza (logica matematica): differenze tra le versioni

Contenuto cancellato Contenuto aggiunto
m r2.7.3) (Bot: Aggiungo fr:Cohérence (logique)
m r2.7.2+) (Bot: Modifico zh:一致性 (邏輯)
Riga 44:
[[simple:Consistency proof]]
[[sv:Konsistens (filosofi)]]
[[zh:形式系统相容一致 (邏輯)]]