Hustota

V matematice, formální systém je řekl, aby byl souhlasný jestliže žádný z jeho dokázaných vět může také být vyvrácen uvnitř toho systému. Nebo, jinak, jestliže formální systém nepřiřadí oba pravdivý a nepravdivý jako sémantika jednoho daného sdělení.

Sčítat:

• Systémy dokázaly být shodný
  • Presburger aritmetika
• Systémy ne ukázal se shodný
• Systémy, které nemohou být ukázaly se shodné

Viz též:

• Gödel incompleteness teorém