Аксиома деген не?

Аксиома (көне грекше: ἀξίωμα — лайықты қабылданған қағида) — нанымдылығы ақиқат (шындық) болғандықтан логикалық дәлелдеусіз алынатын қағида; теорияның ақиқат (шындық) ең бастапқы қағидасы. “Аксиома” термині Ертедегі Грекияда пайда болған. Ол алғаш рет Аристотельдің (біздің заманымыздан бұрын 384 — 322 жылдары) еңбектерінде кездеседі. Ал Евклид (біздің заманымыздан бұрын III ғасырда) аксиомалық жүйені пайдалана отырып өзінің басты еңбегі — “Негіздерді” жазды.

Математикалық теорияның негізі болып табылатын аксиомалар жүйесі де аксиомалар сияқты үнемі өзгертіліп әрі жетілдіріліп отырады. Аксиомалар жүйесіне оның қайшылықсыздығы, тәуелсіздігі және толықтығы сияқты негізгі талаптар қойылады. Аксиомалық тәсілдер геометрияда, арифметикада, ықтималдықтар теориясында тағы басқа салаларда кеңінен қолданылады.