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