Straipsnis iš Enciklopedijos Lietuvai ir Pasauliui (ELIP).
Senovės Graikijos filosofijoje aksioma – teiginys, kurio teisingumas matomas be įrodymo.
Matematikoje aksioma – pradinis loginės įrodymų sistemos taškas. Visi įrodymai tam tikroje sistemoje remiasi aksiomomis, bet įvairiose sistemose tas pats teiginys nebūtinai yra aksioma.
Teiginiai, kurie gali būti išvesti iš jau apsibrėžtos aksiomų aibės nėra reikalingi kaip aksioma, tokiu būdu išlaikant minimalų aksiomų kiekį.
Pirmos straipsnio versijos licencija |
---|
|
Šio puslapio pirmajai versijai buvo panaudotas 2012 m. Kovas 5 d.CC-BY-SA turinys iš Lietuviškos Vikipedijos straipsnio „ Aksioma“. Istorija. Vikipedijos dalyviai: Knutux, Lang-Bot-as, YurikBot. Pirmąją straipsnio versiją iš Vikipedijos įkėlė naudotojas VP-bot. Jei straipsnis be šio naudotojo turi daugiau autorių arba redaktorių, tai straipsnis Enciklopedijoje Lietuvai ir pasaulis buvo keistais bei papildytas ir net iš viso perrašytas. |
|
|
Sudarytojai, rašytojai ir redaktoriai
Kitur naudojant ar cituojant šį straipsnį, būtina nurodyti jo sumanytojus, sudarytojus, rašytojus ir redaktorius.- Vitas Povilaitis – autorius ir redaktorius – 100% (+2215-3=2212 wiki spaudos ženklai).