total descendants:: total children::0 |
a.0=0 bol(je) axiom v peanovej aritmetike, z kt. goedel vychadzal (nemal tam myslim napr. a+0=0, to vyplyvalo z nejakych inych vlastnosti/axiom) inak mas pravdu |
There are currently 9861 K available in get 1 🦆 for 5 🐘 get 1 🐘 for 1 🦆 |
|||||||||||||||||||||||