Löwenheim-Skolems sætning er en sætning i matematisk logik. Den blev bevist i 1915 af tyskeren Leopold Löwenheim (1878-1957) og i 1920 af Thoralf Skolem uafhængigt af hinanden.
Löwenheim-Skolems sætning siger, at en modsigelsesfri teori, formuleret i førsteordens prædikatslogik med højest numerabelt (jf. numerabel mængde) mange symboler, kan modelleres i et numerabelt domæne.
Kommentarer
Kommentarer til artiklen bliver synlige for alle. Undlad at skrive følsomme oplysninger, for eksempel sundhedsoplysninger. Fagansvarlig eller redaktør svarer, når de kan.
Du skal være logget ind for at kommentere.