Open Dictionary
Join now
mouse here to listen, click to choose/add more
Location: USA
Source: Learn That Word
Profile URL: www.learnthat.org
play again like it has problem

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
{%wordnet%}
Definitions.net
{%definitions_com%}

Videos

Click here to upload you own video for this word!
Short "hint"

n. - Capability of being demonstrated or logically established.

edit
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.
...click for more
Tutoring comment


Tutoring comment not yet available...

add more
wordnik merriam-webster
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, Wordnik.com, Dictionary.com, Stands4.com and YouTube, OEDILF.com, Kylescholz.com, Best-Practice.com, Forvo.com, as well as the generous Creative Commons community.

LearnThatWord and the Open Dictionary of English are programs by LearnThat Foundation, a 501(c)3 nonprofit.

Questions? Feedback? We want to hear from you!
Email us or click here for instant support.

Copyright © 2005 and after - LearnThat Foundation. Patents pending.