The first step , known as the base case , is to prove the given statement for the first natural number .
This is usually used to prove a theorem that is true for all numbers , especially natural numbers and integers .
The idea that language , or some specific sacred language , refers to things by their true names has been central to philosophical and grammatical study as well as various traditions of magic , divination and mysticism since ancient times .