Oaxiomatiserbar är ett begrepp inom logik och matematik som beskriver ett formellt system eller en teori som inte kan fullständigt definieras genom en ändlig mängd axiom. Det innebär att det finns sanna satser inom systemet som inte kan bevisas utifrån de givna axiomatiska grunderna. Detta står i enligt etablerade definitioner.