Gelen matematik , aksiyomlaştırılması bir teorinin esas alarak düzenleyerek oluşan bir işlemdir aksiyomlardan ve titiz deducing onlardan teoremi tamamen olabilen bir çerçeve içinde, mantıksal ya da bu kümeler teorisi . Bütün, aksiyomatik bir teori oluşturur . Matematiksel kavramların aksiyomatizasyonlarından önce var oldukları, ya başka bir teorinin çerçevesinden serbest bırakılmadıkları ya da tamamen resmileştirilmeden geliştirildikleri sıklıkla olur. Aksiyomatizasyonun amacı, diğer şeylerin yanı sıra, bu kavramları açıklığa kavuşturmak ve diğer çerçevelere genellemelerine izin vermektir.
Euclid'in Elements adlı eserinde geometrinin aksiyomatizasyonu, böyle bir yaklaşımın ilk tarihsel örneğidir. Aksiyomatik yaklaşım ile ön plana olmuştur Moritz Pasch ve sonunda matematik yaygın olduğu XIX inci yeni keşfi ile yüzyıl geometrileri , gelişmesi cebir , geometri ve aksiyomlaştırılması tarafından gerçek David Hilbert , aritmetizasyonu analizi ile gerçek sayılar inşaatı , geliştirilmesi küme teorisinin , axiomatized erken XX inci tarafından yüzyıla Zermelo ve Fraenkel ve Thoralf Skolem matematik için bir aksiyomatik bir çerçeve vererek ve daha genel üzerinde gerçekleştirilen araştırmaya matematik temelleri .
Bilim adamı-filozof Mario Bunge (1919 - 2020), klasik aksiyomatiklerin her matematiksel postülata (aksiyom) anlamsal bir hipotez eklemeyi içeren bir zenginleştirmesini önerir. Bunu çift aksiyomatik (ikili aksiyomatik), biçimsel veya mantıksal ve olgusal veya anlamsal olarak adlandırır ve felsefi eklemelerden kaçınmayı ve sıradan veya sezgisel formülasyonların belirli sayıda belirsiz noktasını açıklığa kavuşturmayı mümkün kıldığını iddia eder.