The goal was to find valid rules of inference and forms of proof to help people find their way in life.
Målet var att finna giltiga regler för härledning och former för bevis, och därigenom hjälpa människan på sin väg i livet.