Paradoks koni – paradoks polegający na błędnym użyciu indukcji matematycznej.
Opis Udowodnimy, że wszystkie konie są jednej maści. Posłużymy się indukcją matematyczną względem liczby koni. Sprawdzamy pierwszy krok indukcyjny – zbiór złożony z jednego konia jest zbiorem koni jednej maści. Zakładamy teraz, że (dla ustalonego n) wszystkie konie w każdym zbiorze n-elementowym koni są jednej maści. Pokażemy, że w takim razie teza zachodzi także dla wszystkich zbiorów (n+1)-elementowych koni.
Dodajmy do dowolnego n-elementowego zbioru nowego konia. Mamy zbiór (n+1)-elementowy. Teraz odprowadźmy z tego zbioru któregoś konia, ale nie tego, którego właśnie dodaliśmy. Otrzymujemy więc zbiór n-elementowy koni. Z założenia indukcyjnego wszystkie konie w tym zbiorze są jednej maści. W takim razie nowo dodany koń jest tej samej maści, co pozostałe. Teraz możemy z powrotem przyprowadzić konia usuniętego z naszego zbioru (który jest tej samej maści, co pozostałe) i otrzymujemy zbiór (n+1)-elementowy koni jednej maści.