Con

Symbol

 * 1)  consistency predicate
 * ZFC ⊨ Con(PA)

Proper noun

 * 1) A male given name, a diminutive form of Conor or Cornelius.
 * 2) A female given name, a diminutive form of Connie.