total descendants:: total children::1 |
Neviem, ci zrovna existencia sa da takto lahko redukovat na algoritmicku nerozhodnutelnost, ehehe :) Predpoklady su, ze Boh ma nejaku rozhodnutelnu :) vlastnost, ktoru nutne pouzije (napr.), naviac s predpokladanym vysledkom, atd..] Ale paci sa mi idea redukcie, ktora nie je ostatne vobec nova |
| |||||||||||||||||||||||