1. Also known as canonicity or Canonicality.

2. Therefore, it has the same evidence for its canonicity as is commonly adduced for any other book of the Hebrew Scriptures.

3. But as to our distinct concept of canonicity , it is a modern idea,[Sentencedict] and even the Talmud gives no evidence of it.

4. The problem of finding a constructive way of interpreting the rules of the Martin-Löf type theory that in addition satisfies the univalence axiom and canonicity for natural numbers remains open.