یک اظهار نظر-تئوری در مورد شرط بندی پاسکال