In your first point where you say "everything came from nothing", we should be clear that what you're describing isn't really nothing. From the rest of your post, I think you understand this and meant something more like "nothing physical" but I just wanted to emphasize this. From nothing comes nothing. You talk about a "property of nothingness", but nothing isn't a thing, and it can't bear properties (and if there was really nothing, there would be no properties either). You also mention quantum foam, virtual particles, and abstract mathematical structures, but these too aren't nothing; these are very much things posited by physics. If there was literally nothing, there would be no laws or rules that tell nothing how to evolve into something.
Your first and second points describe two different levels in the multiverse hierarchy. See Tegmark's four-level classification under the section titled "Classification schemes". As far as the different levels of multiverses answer the philosophical question "why does this universe exist, as opposed to another one?", they each suffer from difficulties. Some multiverses fix some laws of nature, and allow the constants to vary from universe to universe. These multiverses might answer why physical constants take the values that they do (because all values are instantiated in some universe), but there is still the "bigger" problem of the laws themselves ("why these laws and not other consistent laws?"). The mathematical universe hypothesis is Tegmark's own contribution and is the most general type of multiverse. Any universe that is isomorphic to any consistent mathematical structure exists. This solves the question of why both the laws and constants are what they are (all laws and all constants are instantiated somewhere, as long as they don't lead to contradictions). But the mathematical universe and similar theories lead to other problems. In addition to the criticisms in the Wikipedia article, the most devastating objection (to my mind) is that it undercuts the observed regularity of physical laws. There is a mathematical structure that corresponds to our universe with its laws that hold at all moments in time. There is also a mathematical structure that corresponds to our universe with its laws that hold up to the present moment, and then obeys different laws (think of a piecewise function). The number of different laws it can obey from the present moment onward is infinite (or at least very large), for every moment in time. Since the number of "ad-hoc" universes is far greater than the number of regular universes, we should expect regularity to fail all the time. But it doesn't.
Richard Gale and Alexander Pruss make this point in their article Cosmological and Design Arguments. "MUAP" stands for many universes anthropic principle. David Lewis's theory that they mention is modal realism, and is in spirit the same as Tegmark's multiverse. (They're also arguing for the existence of God in this article, but that's perhaps not immediately relevant to your question so you can ignore those bits if they don't interest you.)
There are two forms the MUAP takes. First, it might be that,
necessarily, all logically possible universes concretely exist, as in
David Lewis's (1986) extreme modal realism. Unfortunately, Lewis's
theory runs into a multitude of paradoxes. To give just the simplest,
note that Lewis's theory undercuts inductive reasoning. Suppose God
phoned you and, after having assured you with sufficiently impressive
miracles that he is God, told you that he created at least as many
universes with the same past as yours in which gravity fails to hold
tomorrow as ones in which gravity continues tomorrow, but neglected to
tell you which kind of universe he put you in. By standard canons of
reasoning, you would be rationally required to assign at least as
great epistemic probability to the claim that the law of gravitation
will not hold tomorrow as to the claim that it will. Therefore, your
inductive inference that tomorrow gravity will hold as it has always
held would be undercut. But Lewis's theory is just like this call from
God: Lewis tells us that all logically possible universes exist, and
certainly then there will be at least as many worlds that have the
same past as this world in which gravity will fail to hold tomorrow as
ones where gravity will continue as before. Thus, Lewis's theory gives
data undercutting induction, and hence we should reject Lewis's
theory.
Alternatively, it could be that all or infinitely many universes exist
satisfying the same basic laws of nature, albeit with different
constants in them. It does not matter here whether these universes
exist simultaneously or sequentially. This version of MUAP, however,
fails to block the question of why these basic laws of nature hold
rather than others. It might, after all, be that the vast majority of
possible sets of laws of nature could not support intelligent
enmattered life because the vast majority would involve massive
irregularity. For instance, intuitively, there are a lot more possible
laws of gravitation that involve many discontinuities and
irregularities in the formula for the force as a function of the
distance than there are highly regular laws, and it might be that life
could exist only in what is intuitively only a small fraction of the
universes governed by such irregular laws, though making these
intuitions more precise would be a nontrivial task.
You may also like the article Why Anything? Why This? by Derek Parfit.