Każde z nich zawiera zmienną przebiegającą zbiór nieskończony Każde z tych stwierdzeń jest w istocie zbiorem nieskończenie wielu stwierdzeń. Można zbadać skończoną ich liczbę, gdzie przyjmuje pewne konkretne wartości, przykładowo sprawdzić dla ale nie jest to dowodemTwierdzenie to dotyczące liczb kardynalnych (tzn. „liczności” zbiorów) nosi nazwę twierdzenia Cantora: wszystkich podzbiorów danego zbioru jest niemniej niż elementów tego zbioru, dla dowolnej liczby kardynalnej . Z drugiej strony nie sposób sprawdzić prawdziwości nieskończenie wielu stwierdzeń w skończonym czasie. Pozostaje więc uciec się do innych metod. Mając na celu dowodzenie stwierdzeń o wszystkich liczbach naturalnych wprowadza się aksjomat – jest to w istocie piąty z aksjomatów Giuseppe Peana (1858–1932) liczb naturalnych – tzw. aksjomat indukcji matematycznej (zob. szczegóły).
Często używaną ilustracją jest efekt domina: ustawiając szereg kamieni domina jeden za drugim można być pewnym przewrócenia wszystkich kamieni (nawet ich nieskończonej liczby), jeśli tylko przewrócono pierwszy kamień, a każdy kamień (z wyjątkiem ostatniego, o ile taki istnieje) przewraca kolejny.
Indukcja niezupełna Aksjomat indukcji matematycznej Jeśli jest podzbiorem który spełnia
dla wszystkich jeśli to to stanowi całość tzn.