. . . . . "13672625"^^ . . . . . . "178260"^^ . . . . "Aritmetick\u00E1 hierarchie"@cs . . . "Aritmetick\u00E1 hierarchie"@cs . . "Aritmetick\u00E1 hierarchie (tak\u00E9 Kleeneova hierarchie) je v matematick\u00E9 logice zp\u016Fsob klasifikace podmno\u017Ein p\u0159irozen\u00FDch \u010D\u00EDsel s ohledem na slo\u017Eitost formul\u00ED, kter\u00E9 je definuj\u00ED. Studium aritmetick\u00E9 hierarchie hraje d\u016Fle\u017Eitou roli v teorii rekurze a studiu form\u00E1ln\u00EDch aritmetick\u00FDch teori\u00ED jako je nap\u0159\u00EDklad Peanova aritmetika. Aritmetickou hierarchii lze tak\u00E9 pou\u017E\u00EDt pro elegantn\u00ED d\u016Fkaz siln\u011Bj\u0161\u00ED varianty prvn\u00ED G\u00F6delovy v\u011Bty."@cs . . . "26"^^ . . "aritmetick\u00E1 hierarchie"@cs . . "Aritmetick\u00E1 hierarchie (tak\u00E9 Kleeneova hierarchie) je v matematick\u00E9 logice zp\u016Fsob klasifikace podmno\u017Ein p\u0159irozen\u00FDch \u010D\u00EDsel s ohledem na slo\u017Eitost formul\u00ED, kter\u00E9 je definuj\u00ED. Studium aritmetick\u00E9 hierarchie hraje d\u016Fle\u017Eitou roli v teorii rekurze a studiu form\u00E1ln\u00EDch aritmetick\u00FDch teori\u00ED jako je nap\u0159\u00EDklad Peanova aritmetika. Aritmetickou hierarchii lze tak\u00E9 pou\u017E\u00EDt pro elegantn\u00ED d\u016Fkaz siln\u011Bj\u0161\u00ED varianty prvn\u00ED G\u00F6delovy v\u011Bty."@cs . . . . "4726"^^ . . . . .