Aksiomatik tizimlar matematikaning asosiy tushunchalaridan biri bo'lib, ular oldindan belgilangan aksionlar to'plamiga asoslanadi. Aksiomalar o'z-o'zidan aniq va isbotsiz qabul qilingan iboralar bo'lib, ular yordamida turli matematik teoremalarning haqiqiyligi isbotlanadi