Аксиома: Разлика помеѓу преработките
[непроверена преработка] | [непроверена преработка] |
Избришана содржина Додадена содржина
с robot Uklanja: be:Аксіёма |
сНема опис на уредувањето |
||
Ред 1:
Под '''аксиома''' во [[математика]]та се подразбира тврдење чија точност не се проверува. Спротивно од аксиомите, пак, се [[Теорема|теоремите]] кои се математички тврдења чија точност се покажува преку доказ. Непроверувањето може да биде од две причини. Првата, ако тврдењето е интуитивно и очигледно точно и преку негова практична примена не може да се востанови дека тоа е неточно, т.е. не постои случај кога тоа е неточно. Втората причина е ако тврдењето не е така очигледно и не може да се докаже, но исто така се покажува точно при секој случај.
Во првиот случај спаѓа една од [[Аксиоми за множества|аксиомите за множества]], Аксиомата за постоење на бесконечно множество: ''Постои множеството на природни броеви''. Точноста на тврдењето е очигледна: никој не може да ги ''преброи'' природните броеви!
|