dimostràbile [Der. di dimostrare: → dimostrazione] [FAF] Detto di un'espressione in un sistema formale T se esiste una sua dimostrazione in T; allora l'espressione costituisce un teorema di T.
dimostrare
(ant. demostrare) v. tr. [dal lat. demonstrare, comp. di de- e monstrare «mostrare, dimostrare»] (io dimóstro, ecc.). – 1. a. Rendere manifesto con fatti, con parole, con segni certi: d. affetto, amicizia, comprensione; d. la...
