Abstract

This article is a lecture note I wrote for my philosophy of mathematics course. Its main task is to explain the main ideas of Gupta's acceptable model proposed in his paper [J. Philos. Logic 11(1), 1–60, 1982]. I aim to provide detailed information on a result established by Gupta. On the one hand, I hope this explanation can be helpful for those who are learning Gupta's acceptable model, and on the other hand, I also hope to provide a guide for beginners to interpret literature.