\left( P(0) \land \forall k \in N \left[ P(k) \Rightarrow P(s(k)) \right] \right) \Rightarrow \forall n \in N \left[ P(n) \right]
Embed the image to your blog in HTML, Markdown, Textile, BBCode.
Recent Referers:
  1. http://gloomy-pengywn.blogspot.com/
  2. http://kakko-no-ireko.blogspot.com/2012/06/prolog.html?m=1
  3. http://kakko-no-ireko.blogspot.ru/
  4. http://kakko-no-ireko.blogspot.pe/2012/06/prolog.html?m=1
  5. http://kakko-no-ireko.blogspot.ru/2012/06/prolog.html