Indukcja .. Knopo: 1. Udowodnić, że jeżeli A jest podzbiorem zbioru |N wszystkich liczb naturalnych takim, że : (1) 2 ∊ A (2) dla każdej liczby naturalnej n : jeśli n ∊ A, to n+2 ∊ A to każda liczba naturalna parzysta należy do A. Jak taki dowód formalnie zapisać ? 2. n! < ((n+1)ⁿ)/2