Axiomatiserbar beskriver förmågan hos ett system, ofta inom matematik eller logik, att kunna definieras fullständigt genom en uppsättning grundläggande, obevisade antaganden kallade axiom. Ett system är axiomatiserbart om dess struktur och alla dess sanna påståenden kan härledas logiskt från dessa enligt etablerade definitioner.