Mathematical Girls: Các Định Lý Bất Toàn Của Gödel - Chương 2