Informeel bewijs
De meeste bewijzen die je tegenkomt zijn niet strict formeel, dat is veel te onhandig (bijv. het bewijs voor 1x2=2). Een bewijs dat niet voldoet aan de regels van een formeel bewijs heet informeel. Een informeel bewijs laat dingen weg maar moet wel terug te brengen zijn naar een formeel bewijs (als het acceptabel is!). Het doel van een informeel bewijs is te communiceren en te overtuigen en daarom hangt de informaliteit van een bewijs ook af van de doelgroep. 99.99% van de bewijzen is informeel.