აქსიომა
აქსიომა (ბერძ.
ტერმინი „აქსიომა“ არისტოტელეს მიეწერება. მის დროს ეს ტერმინი მეცნიერებიდან სასაუბრო ენაშიც შევიდა, როგორც თავისთავად ცხადი დებულების სინონიმი.
დედუქციურ მეცნიერებაში აქსიომას დისციპლინის საწყის დებულებას უწოდებენ. სიცხადისა და სიმარტივის გამო ამ დისციპლინაში იგი მართებულობის დაუმტკიცებლად ჭეშმარიტადაა მიჩნეული.
ლოგიკასა და მათემატიკაში აქსიომა უეჭველი სიმართლე შესაძლოა არ იყოს, არამედ უფრო ფორმალური ლოგიკური გამოხატულებაა დედუქციური მტკიცებისა, რომელიც გარკვეულ შედეგს იწვევს. მათემატიკაში ანსხვავებენ ორის სახის აქსიომას: ლოგიკურ აქსიომას და არა-ლოგიკურ აქსიომას.
იხილეთ აგრეთვე
ლიტერატურა
- Mendelson, Elliot (1987). Introduction to mathematical logic. Belmont, California: Wadsworth & Brooks. ISBN 0-534-06624-0
რესურსები ინტერნეტში
This article uses material from the Wikipedia ქართული article აქსიომა, which is released under the Creative Commons Attribution-ShareAlike 3.0 license ("CC BY-SA 3.0"); additional terms may apply (view authors). შინაარსი წარმოდგენილია შემდეგი ლიცენზიით (თუ სხვა არ არის მითითებული): CC BY-SA 4.0. Images, videos and audio are available under their respective licenses.
®Wikipedia is a registered trademark of the Wiki Foundation, Inc. Wiki ქართული (DUHOCTRUNGQUOC.VN) is an independent company and has no affiliation with Wiki Foundation.