Opotentierbarhet är ett begrepp inom logik och matematik som beskriver egenskapen hos ett system eller en teori att inte kunna bevisa eller motbevisa alla påståenden inom systemet med hjälp av de axiom och slutledningsregler som systemet tillhandahåller. Det innebär att det finns sanna satser inom enligt etablerade definitioner.