Intensional Mathematics door 'Shapiro' & Ralph Shapiro