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.
'Physics is mathematical not because we know so much about the physical world, but because we know so little; it is only its mathematical properties that we can discover.'