check
Kripke's infinity argument | Oron Shagrir

Kripke's infinity argument