V matematice termín “ počet ” označuje různé oblasti znalostí, stejně jako formální teorie ( soubory vzorců odvozených z axiómů pomocí inferenčních pravidel).
Počet v matematické logice :
| Seznam významů slova nebo fráze s odkazy na relevantní články . Pokud jste se sem dostali z textu jiného článku na Wikipedii, vraťte se prosím zpět a upřesněte odkaz , aby odkazoval na správný článek. |