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