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