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)
|
| |||||||||||||||||||||||