Open Dictionary
mouse here to listen, click to choose/add more
Location: USA
Source: Learn That Word
Profile URL:

Are you a native English speaker? How do you pronounce this word?

Thank you for contributing!
upload mp3 file or record now it's easy, promised!

{%type%} Definitions

WordNet 3.0Copyright Princeton University


Short "hint"

n. - Capability of being demonstrated or logically established.

Usage examples (39)
  • The axiom system of propositional provability logic
  • Finally, one can of course study predicate provability logic.
  • Of course, this result concerns provability relative to a system.
  • Two strands of research have led to the birth of provability logic. for more
Tutoring comment

Tutoring comment not yet available...

add more
The Open Dictionary of English is a collaborative project, based on Open Source materials, LearnThat resources, and partner APIs.
We give special thanks to our LearnThat volunteers, as well as Princeton University and Wiktionary for their Open Source word data. We're also grateful for the support given by Google,,, and YouTube,,,,, as well as the generous Creative Commons community.