Talk:Shoenfield absoluteness theorem