Argümanımız tümdengelimsel formatta şu şekilde yazılabilir:
1. Nesnel aksiyolojik önermeler varsa bu önermeler ya temel yasa-lardır, ya da temel yasalardan çıkarsanabilirler. (Öncül: Üçüncü halin imkânsızlığı mantık yasası)
2. Eğer Tanrı yoksa temel yasalar doğa yasalarından ibarettir. (Ön-cül: Doğalcılık tezi)
3. Bütün doğa yasaları olgusaldır.