total descendants::0 total children::0 |
minimalne to nie je veta v jazyku prvoradovej logiky, ktory nema prostriedky na vyjadrenie "tato veta", teda by si musel postupit na vyssiu uroven jazyka, aby si mohol hovorit o pravdivosti nejakych viet (sformulovanych v nizsom jazyku)
|
There are currently 9863 K available in get 1 🦆 for 5 🐘 get 1 🐘 for 1 🦆 |
|||||||||||||||||||||||