Talk:Extensions of First Order Logic