数学勉強したいなと、理学部ではないですが。
数学は昔から好きなんですが、めんどいこと・嫌いなことを先に片付けたい性格のため、数学の勉強にあまり時間をかけてこられませんでした。
大学に入ってから独自に勉強しようとやってましたが、どう勉強したらいいかわからず一人で右往左往してました。
修士課程の間も、修論につきっきりで時間かけてじっくり勉強できなかったのは残念です。
学部の4年生ごろにやっと気づいたのですが、ε-δ論法で見られる論理式の視点で命題を見ることが大事なんですね。時間かかりましたね。。。
これができるようになって今やっと数学入門という気持ちです。
数学的帰納法もそういうもんだと暗記してましたが、自然数の公理にもとづいて、述語が成り立つ真理集合が自然数と一致するんですね。なるほどです。
方程式の解を求めることも、方程式を述語と見れば、真理集合を探してることになります。