Ett typexempel, som diskuterades redan under antiken, är följande: En samling av 100 000 sandkorn utgör en sandhög. Om en samling av n sandkorn utgör en sandhög, så utgör också en samling av n−1 sandkorn en sandhög (en sandhög upphör inte att vara en sandhög när man avlägsnar ett sandkorn). Alltså