completezza semanticaloc.s.f. TS log. proprietà di una teoria nella quale ogni formula vera in una certa interpretazione può essere dedotta dagli assiomi della teoria. Correzioni e suggerimenti Condividi Twitter Facebook Email
