Valentin Metzinger: Nasičenje množice (1747)