數學家 認為 ， 這個 命題 成立 ， 當且僅當 所有 假設 都 被 驗證 。