The Set-theoretic Multiverse : A Natural Context for Set Theory( Mathematical Logic and Its Applications)