Concept:Induction
== Headline ==
a method of (mathematical) [[proof]]
== Discussion ==
In functional programming, induction is also referred to as a reasoning principle.
== Metadata ==
* [[memberOf::Vocabulary:Functional programming]]
* [[memberOf::Vocabulary:Programming theory]]
* [[sameAs::http://en.wikipedia.org/wiki/Mathematical_induction]]
* [[isA::Concept]]