Talk:Infinitely many-valued logic