🌐TürkçeEnglishPortuguêsTürkçe日本語EntityQ5358906· pop 5· linked from 316 articlesTemel fonksiyon aritmetiğisystem of arithmetic in proof theiryAvailable in 5 languages日本語PortuguêsCzechTürkçevia Wikidata sitelinks · CC0Connectionssemantic theory of truthEntitymathematical logicEntityCategoriesConjecturesFormal theories of arithmeticProof theory