If one has to single out one most intriguing item, it would probably be his work on nonstandard models of set theory and number theory.
Kui üks on eraldi välja üks intrigeerivamaid punktis, oleks arvatavasti oma töö Standardist erinev mudelid Hulgateooria ja mitmeid teooria.