なぜ何もないのではなく、何かがあるのか
ある集合 S {\displaystyle S} に属する事物を x {\displaystyle x} 、説明を e {\displaystyle e} 、 e {\displaystyle e} が x {\displaystyle x} について説明を与えることを e E x {\displaystyle eEx} と表すとき、 次の上段の式が正しい場合でも、下段の式が正しいとは限らない。
( ∀ x ∈ S ) ( ∃ e ) e E x {\displaystyle (\forall x\in S)(\exists e)eEx}
式の意味:どんな事物xに対しても、それぞれ何らかの説明eが存在し、そのeがxの存在を説明する
( ∃ e ) ( ∀ x ∈ S ) e E x {\displaystyle (\exists e)(\forall x\in S)eEx}
式の意味:何らかの説明eが存在し、どんな事物xに対しても、そのeがxの存在を説明する
) + | D μ Φ ( x ) | 2 − V [ Φ ( x ) ] ] {\displaystyle {\begin{aligned}S=\int d^{4}x{\sqrt {-\operatorname {det} G_{\mu v}(x)}}&{\left[{\frac {1}{16\pi G_{\mathrm {N} }}}\left(R\left[G_{\mu v}(x)\right]-\Lambda \right)-{\frac {1}{4}}\sum _{i=1}^{3}\operatorname {tr} \left(F_{\mu v}^{(i)}(x)\right)^{2}+\sum _{f}{\bar {\psi }}^{(f)}(x)i\not D\psi ^{(f)}(x)\right.}\\&\left.+\sum _{g,h}\left(y_{gh}\Phi (x){\bar {\psi }}^{(g)}(x)\psi ^{(h)}(x)+{\text{ h.c. }}\right)+\left|D_{\mu }\Phi (x)\right|^{2}-V[\Phi (x)]\right]\end{aligned}}}
上記の数式は、素粒子標準模型の力の関係式と、アインシュタイン&ヒルベルト作用の式を合成したものであるが、数式の集まりでしかない。