Axiomatiserbarhet avser egenskapen hos ett formellt 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 sanningar kan härledas logiskt från dessa axiom.