Mathematical Girls 3: Godel's Incompleteness Theorems door Hiroshi Yuki