total descendants:: total children::0 |
Za sebou zoradene jednotlive kroky "dokazu" ktore vedu od axiomov k vete ktorej pravdivost dokazujeme su logickym vektorom tejto vety. (toto je klucom ku Godelovmu teoremu) |
There are currently 10254 K available in get 1 🦆 for 5 🐘 get 1 🐘 for 1 🦆 |
|||||||||||||||||||||||