Oaviserbarhet är ett begrepp inom logik och matematik som beskriver egenskapen hos ett påstående eller en sats att inte kunna bevisas vara falsk genom en ändlig sekvens av logiska härledningar från givna axiom eller premisser. Det innebär att det inte finns någon algoritm eller process som garantera.