Published 23/10/2017 at 1373 × 1030 in News: Seminar of Gödel’s Theorem / Tin Hội thảo về Định lý Gödel