無限を否定したら線の一本も引けないだろ、線は無限の点の集合なんだから