Next: About this document
Up: Class Note 5
Previous: Differences Between Mathematics
According to the usual definition a proposition is a sentence that is true
or false.
But there are many examples of undecided conjectures.
For example: 
or the Axiom of Choice or 
or Goldbach's Conjecture.
Examples of primitive propositions:
The key fact about these is that they are chosen such that they
are decidable.