The hope was to prove that from these axioms and rules all the theorems of mathematics could be deduced.
これらの公理および規則から数学の全ての定理が演繹され得ることを証明することが望まれていた。