Aksioma

Straipsnis iš Vikipedijos, laisvosios enciklopedijos.
Jump to navigation Jump to search
 NoFonti.svg  Šiam straipsniui ar jo daliai trūksta išnašų į šaltinius
(pažymėtas nuo 2020 m. lapkričio).

Jūs galite padėti Vikipedijai pridėdami tinkamas išnašas su šaltiniais.
 Edit-copy purple-wikit.svg  Dėmesio! Informacija šiame straipsnyje tik apibrėžia terminą.
Jei galite, prašome papildyti šį puslapį arba perkelkite informaciją į labiau tam tinkamą VikiŽodyną. Perkėlę šią žymę pakeiskite tokia: {{Terminas-delete}}.

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į.