Teoria del primo ordine: differenze tra le versioni

m
Bot: Sistemo sintassi template Portale. Aggiungo: matematica. Tolgo: Matematica.
m (Bot: Aggiungo: ar Tolgo: af, de, el, fa, fi, fr, he, hu, ja, ko, mk, nl, simple, sk, sv, zh Modifico: cs, en, sr)
m (Bot: Sistemo sintassi template Portale. Aggiungo: matematica. Tolgo: Matematica.)
* [[Completezza (logica matematica)|Completezza]]
* [[Consistenza (logica matematica)|Consistenza]]
{{Portale|matematica}}
 
[[Categoria:Logica matematica]]
214 943

contributi