「数学基礎論」は、数学の一分野の名称で、他にも、「数理論理学」とか、「logic」と呼ばれています(数学の基礎付けをする学問である、という誤解を招きやすいので、対外的には「数学基礎論」という言い方を避ける専門家も多いです)。 先に、少し大学数学について前置きしておきたいことがあります。そんなのわかってる、ということでしたら、すみません、飛ばしてください。 :**************************** >論理演算をして同値な命題をたくさんつくって問題を解く・・・ことは誰にも負けないくらいの力があると思っています。 ということでしたが・・・。 まず、大学数学では、論理演算をして同値な命題に変形してから証明を行うことは、どの分野においてもきわめて当たり前に自然に断りなくすることなのです(もっと言うと、それが論理演算だとすら意識されません)。 だから、質問者さんの「力」は特定の分野に