Formal method of proof in which the proposition P(n + 1) is proved true on the hypothesis that the proposition P(n) is true. The proposition is then shown to be true for a particular value of n, say k, and therefore by induction the proposition must be true for n = k + 1, k + 2, k + 3, ... . In many cases k = 1, so then the proposition is true for all positive integers.
The Union Jack marks Australia's historical links with Britain. The Southern Cross helped guide early European navigators to the continent. Effective date: 15 April 1954.