The construction of both natural and formal infinities are products of human thought and may be considered in terms of embodied cognition. Forwards the viewpoint that formal deduction focuses as far as possible on formal logic in preference to perceptual imagery, developing a network of formal properties that do not depend on specific embodiments. (Author/MM)