noun
Гёдельдеу
A method in mathematical logic where each symbol, formula, or proof in a formal system is assigned a unique natural number, enabling metamathematical reasoning about the system itself.
Формалды жүйедегі әрбір таңбаға, формулаға немесе дәлелге бірегей натурал сан тағайындау әдісі, жүйенің өзін метаматематикалық тұрғыдан талдауға мүмкіндік береді.
sordсөздік / EN↔KZsordсөздік / EN↔KZsord