  Arising out of an attempt at a new foundations of mathematics, in which
relations are more primitive than sets, and out of the theoretical physicists'
concept of underlying causes of empirical phenomena, the idea of a purely
mathematical possible world (of underlying causes) is developed. It is shown
that at least one, and at most one, possible world is actual, and that the one
that is actual is the best (as in the philosophy of Leibniz), and therefore
requires the cosmic coincidences to exist. This best is actual necessarily
because of having a higher level top relation than any other possible world,
and because of this top relation possessing the property of intrinsic necessary
existence.
