https://intlibrary.ir/download/kurt-gödel:-wahrheit-und-beweisbarkeit-97552-3182/