Okoliczność, że w rzeczywistości kruki żyją na ograniczonym obszarze przestrzeni i czasu, nie narusza ścisłej ogólności twierdzenia o krukach.
Twierdzenia numerycznie ogólne Twierdzenia numerycznie ogólne (enumeracyjne) są to twierdzenia o zasięgu czasoprzestrzennie ograniczonym (zlokalizowanym, zamkniętym). W swoim sformułowaniu zawierają imiona własne, terminy historyczne lub inne wyrażenia ograniczające zakres ich stosowalności. Nadając takim twierdzeniom postać warunkową, można zauważyć, że ich poprzednik wyznacza granice czasoprzestrzenne zasięgu ich ważności. Natomiast nie podają one warunków, w których są spełnione. Przykładem twierdzenia numerycznie ogólnego jest twierdzenie: „wszystkie wojny punickie zakończyły się zwycięstwem Rzymu nad Kartaginą”, „wszystkie powstania polskie XIX w. kończyły się klęską”. Twierdzenia tego rodzaju podają (eksplicite lub implicite) obszar czasoprzestrzenny swego zasięgu, ale nie podają warunków, w których są spełnioneJ. Such, O uniwersalności praw nauki, KiW, Warszawa 1972, s. 61.J. Such, Problemy weryfikacji wiedzy, PWN, Warszawa 1975, s.