verb
Гёдельдеу
To apply Gödel numbering, a method of encoding mathematical and logical statements into numerical form to facilitate formal proofs.
Гёдель нөмірлеу әдісін қолдану, математикалық және логикалық тұжырымдарды сандық түрге түрлендіру арқылы формальды дәлелдеулерді жеңілдету.
sordсөздік / EN↔KZsordсөздік / EN↔KZsord