sistema deduttivoloc.s.m. TS filos. s. che, dati un certo numero di postulati e determinati criteri di inferenza, include in sé soltanto i teoremi deducibili da tali postulati Correzioni e suggerimenti Condividi Twitter Facebook Email
