初等代数における主要な目的:記号論理の確立と具体的な数学問題の解決