高々0個存在する、ということは論理的には存在しないことを意味し、
最低限の存在保障(1個は存在)がないことにつながるから、
高々有限個存在するでも余り変わらないと思うが。