Lava tubes, underground caves created by volcanic activity, could provide protected habitats large enough to house streets on Mars or even towns on the Moon.
'As far as the laws of mathematics refer to reality, they are not certain; and as far as they are certain, they do not refer to reality.'