Axiomatiserande (nn) beskriver processen att formulera ett system, en teori eller ett kunskapsområde utifrån en uppsättning grundläggande, obevisade antaganden eller axiom. Målet är att skapa en logiskt sammanhängande struktur där alla slutsatser kan härledas rigoröst från dessa utgångspunkter.