Pascali kihlvedu
Pascali kihlvedu on Blaise Pascali tõestus Jumala uskumise kasulikkusest. Võimalikud on neli varianti: uskuda Jumalasse, kui ta tegelikult eksisteerib; uskuda, kui Jumalat tegelikult olemas pole; Jumalasse mitte uskuda, kui ta tegelikult eksisteerib; mitte uskuda, kui Jumalat polegi olemas. Pascali järgi annavad kaks viimast, s.t mitteuskumise valikud inimese elu jaoks kas neutraalse (4: ei avalda mõju) või negatiivse tulemuse (3: põrgu), seevastu mõlemad uskumise valikud annavad positiivse tulemuse; kui uskuda ja Jumal eksisteeribki (1), siis tagatakse paradiis, kui uskuda ja Jumalat pole (2), teeb usk inimese elu lihtsalt paremaks ja harmoonilisemaks. Seega on Jumalasse uskumine igal juhul kasulik. Pascali kihlvedu, mis ei ole küll jumalatõestus, püüab mänguteooria abil näidata, et Jumalasse uskumine on parim strateegia: kui Jumalat ei ole olemas ja temasse uskuda, on sellest sündiv kahju väike. Kui aga Jumal on olemas ja temasse ei usuta, siis on kahju suur. Niisiis on Jumalasse uskumine nagu kindlustuspoliis.