Benacerraf's epistemological problem

GPTKB entity