Tennenbaum's theorem