Published 10/01/2019 at 570 × 340 in Separating Truths From Provability / Phân biệt chân lý với khả năng chứng minh