Contents
-
6.1 Mathematical Induction
-
6.2 Truth-Functional Completeness
-
6.3 The Soundness of SD and SD+
-
6.4 The Completeness of SD and SD+
Notes
mathematical induction
If a statement is true when $n=1,$ and if when the
statement is true when $n=k$ where $k$ is an arbitrary
integer then the statement is true for the next
integer, namely $n=k+1,$ then the statement is true
for all positive integers.