metateorema

di null - Dizionario delle Scienze Fisiche (2012)

metateorema


metateorèma [Comp. di meta- e teorema] [FAF] Denomin. generica di ogni proposizione che possa essere formalizzata e poi dimostrata.

Vedi anche
teorema In matematica e nelle scienze deduttive, ogni enunciato (o formula o proprietà) che può essere dimostrato, cioè che può essere dedotto logicamente dagli enunciati primitivi, detti assiomi o postulati. In un sistema assiomatico moderno la distinzione fra teorema e assiomi non è però netta e assoluta in ... proposizione In genere, ciò che si enuncia, si dichiara, si afferma, e la frase stessa che contiene l’enunciato. filosofia 1. proposizione ed enunciato Nella logica e nella filosofia del linguaggio contemporanee si distingue proposizione da enunciato, intendendo con quest’ultimo termine un’unità sintattica composta ... essere antropologia Nell’etnologia religiosa, l’espressione E. Supremo indica una figura pressoché universalmente diffusa nelle culture arcaiche, concepita e rappresentata in maniera assai diversa da altre figure che sono oggetto di culto o sono comunque connesse con i miti delle singole società di interesse ...
Categorie