Gödel's incompleteness theorems - Kennedy, Juliette, 1955- (Cambridge elements. Elements in philosophy and logic, 2022)