Talk:Takeuti's conjecture