Talk:Omega-logic