Talk:Finitely many-valued logic