+++
date = "2016-04-23"
draft = true
title = """Induction"""
slug = "induction-3"
tags = []
banner = ""
aliases = ['/induction-3/']
+++
An inductive definition is one where the definition of the function uses its own definition and has a base case.
It is possible to use induction in a principle in proof.