Capšalera
 FiloXarxa Diccionari enciclopŔdic de filosofia: autors, conceptes, textos

Temes  -

El saber filos˛fic El coneixement La realitat L'Ússer humÓ L'acciˇ humana La societat

Hist˛ria -

Filosofia antiga i medieval Filosofia moderna Filosofia contemporÓnia Mapa del web Ajuda i altres Descarregar "font grega"
Cerca continguts al web Pensament: autors, conceptes, textos, obres ...
Loading

completut LĎG.

La propietat d'un sistema formal per la que s'anomena complet si tot enunciat lògicament vertader per al sistema és també deduïble dels seus axiomes (completut denominada feble). Segons el teorema de Gödel, la  lògica d'enunciats i lògica de predicats (de primer ordre) són completes en sentit feble.
 

Licencia de Creative Commons
Aquesta obra estÓ sota una llicŔncia de Creative Commons.