(n)demonstrability, provabilitycapability of being demonstrated or logically proved