[FOM] Advertising an approach to the philosophy ofmathematics(with some logical technical work)

[John McCarthy]

When one is introducing a space by construction, points at infinity,
if wanted, can be introduced along with the others and should have
similar mathematical and ontological status.