Why can we use induction when studying metamathematics? – math.stackexchange.com

In fact I don't understand the meaning of the word "metamathematics". I just want to know, for example, why can we use mathematical induction in the proof of logical theorems, like The Deduction ...

from Hot Questions - Stack Exchange OnStackOverflow
via Blogspot

Share this

Artikel Terkait

0 Comment to "Why can we use induction when studying metamathematics? – math.stackexchange.com"