Skolem leverte viktige bidrag til matematisk logikk, mengdelære, tallteori, algebra og kombinatorikk, men han er mest kjent for sitt arbeide med matematisk logikk. Han regnes også som en av de sentrale teoretikerne innenfor metamatematikk, som er nært knyttet til matematisk logikk.