Aksioma — matematika va mantiqning asosiy tushunchalaridan biri bo'lib, isbot talab etilmaydigan haqiqat sifatida qabul qilinadi. Aksiomalar nazariy tizimlarning poydevorini tashkil etadi va undan kelib chiqadigan teoremalar orqali boshqa xulosalar chiqariladi