Twierdzenia ściśle ogólne (uniwersalne) Twierdzenia ściśle ogólne (uniwersalne) są twierdzeniami o czasoprzestrzennie nieograniczonym zasięgu (zakresie stosowalności). Dotyczą one wszystkich obiektów danego rodzaju (o których mowa w twierdzeniu), niezależnie od czasu i miejsca ich występowania. Nie zawierają one informacji czy odnoszą się do skończonej, czy nieskończonej liczby przypadków. Nie mówią też czy przypadki te występują w ograniczonym (zamkniętym) obszarze czasoprzestrzennym, czy też nieograniczonym. Twierdzenia tego rodzaju – jeśli są sformułowane w trybie warunkowym – w swym poprzedniku podają w terminach ogólnych warunki występowania tego, co opisane jest w następniku, nie podają natomiast miejsca i czasu występowania tych warunków, co oznacza, że nie wprowadzają żadnego ograniczenia czasowego ani przestrzennego zakresu swej stosowalności. Na przykład twierdzenie: „wszystkie kruki są czarne”, które można sformułować w równoważnym logicznie trybie warunkowym: „dla każdego x, jeśli x jest krukiem, to x jest czarne” [(x) (Kx ⊂ Cx)], jest twierdzeniem ściśle ogólnym (uniwersalnym), gdyż odnosi się do wszystkich kruków kiedykolwiek i gdziekolwiek istniejących, czyli dotyczy z góry nieoznaczonej liczby przypadków (kruków) znajdujących się w dowolnym obszarze świata.