- Mathematical induction (Wikipedia)
Mathematical induction is a method for proving that a statement P(n) is true for every natural number n, that is, that the infinitely many cases P(0), P(1), P(2), P(3),… all hold. This is done by first proving a simple case, then also showing that if we assume the claim is true for a given case, then the next case is also true.
- Cattle (Wikipedia)
Cattle (Bos taurus) are large, domesticated, cloven-hooved, herbivores. They are a prominent modern member of the subfamily Bovinae and the most widespread species of the genus Bos. Adult females are referred to as cows and adult males are referred to as bulls.