+++
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.