Skolemská aritmetika (disambiguation) - Skolem arithmetic (disambiguation) - Wikipedia

Skolemská aritmetika může odkazovat na několik odlišných typů aritmetiky.

• Skolemská aritmetika aritmetika kladného čísla s násobením a rovností.
• Primitivní rekurzivní aritmetika, formalizace přirozených čísel bez kvantifikátoru.
• Pravda aritmetika, tvrzení pravdivá o standardních přirozených číslech.

Stránka disambiguation poskytující odkazy na témata, na která by mohl odkazovat stejný hledaný výraz Tento rozcestník stránka uvádí články spojené s titulem Skolemská aritmetika. Pokud interní odkaz dovedl vás sem, možná budete chtít změnit odkaz tak, aby odkazoval přímo na zamýšlený článek.