Аксиома — разлика између измена
Садржај обрисан Садржај додат
м r2.5.2) (Робот додаје: hif:Axiom |
мНема описа измене |
||
Ред 1:
У традиционалној [[логика|логици]], '''аксиом''' или '''постулат''' је пропозиција која није доказана. Аксиом је логички израз за који се сматра да је тачан. Његова истинитост се подразумева, и он служи као почетна тачка за даљу [[дедукција|дедукцију]] и инференцију.
=== Грчко порекло ===
'''Аксиома''' (Axiom):
Линија 11 ⟶ 12:
Пошто њен садржај многима није важио као очигледан, покушало се да се овај став изведе из других аксиома; тек се око половине 19. века могао прибавити доказ да ово није могуће. Потом су се развиле и [[нееуклидске геометрије]], у којима не важи аксиома ο паралелама.
Први покушаји да се [[логика]] формулише као аксиоматски систем потичу од Г. В. [[Лајбниц]]а. Суштински помаци су овде, као и у области математике, били учињени од друге половине [[19.
Пресудан за избор одређених ставова као аксиома неке теорије сада је мање степен њихове очигледности него питање од које основе се дају што је могуће једноставније и елегантније извести истинити искази теорије. Истовремено се започело истраживање аксиоматских система у погледу садржинског тумачења њихових ставова као чисто формално одређених рачуна.
| |||