Oaxiomatiserbarhet beskriver egenskapen hos ett formellt system, ofta inom logik eller matematik, att inte kunna fullständigt beskrivas eller härledas enbart genom en ändlig uppsättning axiom. Det innebär att det finns sanna satser inom systemet som inte kan bevisas med hjälp av de givna axiomatiska.