Bir metafizik kurama göre gerçek dünya, bu kuramın kabul ettiği somut nesneler,
onların özellikleri ve her ikisinden oluşan yalın olguların tümüdür. Her fizikçe olanaklı dünya, hem metafizikçe hem mantıkça olanaklı ve her metafizikçe olanaklı dünya, mantıkça olanaklıdır. Ama her mantıkça olanaklı dünya metafizikçe veya fizikçe olanaklı değildir. Yani mantıkça olanaklı bazı dünyalar metafizikçe veya fizikçe olanaklı değildir. Gene bazı metafizikçe olanaklı dünyalar fizikçe olanaklı değildir. Dolayısıyla fizikçe olanaklı dünyalar kümesi, metafizikçe olanaklı ve mantıkça olanaklı dünyalar kümesinin alt kümesi, metafizikçe olanaklı dünyalar kümesi de mantıkça olanaklı dünyalar kümesinin alt kümesidir. Gerçek dünya bir olanaklı dünyadır. Bu olanaklı dünya hem mantıkça hem metafizikçe hem de fizikçe olanaklıdır