@toplim
Kada neki aparat ne bi imao nikakva ograničenja, ne bi bilo ni ograničenja u proizvodnji gluposti koje taj aparat može da izbaci. Poenta je u tome da dobijaš
samo tačne iskaze, što je ograničenje (željeno) samo po sebi, a da bi imao to ograničenje, svakako da moraš imati nekakva ograničenja u osnovama tog aparata koja rezultuju željenim ograničenjem.
No, manimo se filozofije. Ako ti baš smeta što u matematici ponešto nedefinisano, i tome ima leka. Može se uvesti posebna konstanta, koja znači "nedefinisano". Obično se obeležava sa
![](https://static.elitesecurity.org/tex/969ab49bc51e85eff72278076f09b06e.png)
. Znači,
![](https://static.elitesecurity.org/tex/d6d1ecd1a6934fa0e5b159d65b69b7e3.png)
. Međutim, onda celu matematiku moraš da izlažeš na taj način. Onda ni jednakost neće više biti ono što je nekad bila, jer ako sa
![](https://static.elitesecurity.org/tex/a9558988dfdfeb181f3f48c63cf1872f.png)
označimo istinitosnu vrednost iskaza
![](https://static.elitesecurity.org/tex/ace327a3e8e417bfad6a8248c8d0a794.png)
, onda će biti
![](https://static.elitesecurity.org/tex/6db8ccca275dbaf1a3613e76cc5a670a.png)
, a ne
![](https://static.elitesecurity.org/tex/7a7905833b281a23298ee679e7e16944.png)
, gde je
![](https://static.elitesecurity.org/tex/c09e5ef5648b4b9d5e0614ddc4996637.png)
oznaka za "tačno". No, na taj način možeš izložiti celu matematiku, ali time ništa ne dobijaš i ništa ne gubiš. Dobija se potpuno ista matematika, samo malo drugačije zapisana.
Nije bitno koji su zaključci izvučeni, već kako se do njih došlo.