Sistema assiomatico
Da Wikipedia, l'enciclopedia libera.
Questa voce è solo un abbozzo (stub). Se puoi, contribuisci adesso a migliorarla secondo le convenzioni di Wikipedia. Per l'elenco completo degli stub di matematica, vedi la relativa categoria.
In matematica, un sistema assiomatico (o assiomatica) è un insieme di assiomi che possono essere usati per dimostrare teoremi. Una teoria matematica consiste quindi in una assiomatica e tutti i teoremi che ne derivano.
[modifica] Proprietà
Un sistema assiomatico è coerente se non presenta contraddizioni: in altre parole, non è possibile dimostrare a partire da questi assiomi sia un teorema che il suo contrario.
In un sistema assiomatico un assioma è detto indipendente se non può essere dedotto dali altri assiomi. Un sistema è indipendente se ogni suo assioma è indipendente.
Un sistema assiomatico è completo se è possibile dimostrare (a partire da questi assiomi) la verità o falsità di ogni proposizione.