We show that conjecture 15 in the article by Rabern et al. is wrong, comment on theorem 24 there, and conclude with some remarks on structures similar to the Yablo construction.
生成讲解博客的中文版本
生成AI智能校验的中文版本