クヌース先生も執筆に参加している表紙がΣな計算機科学の入門書があるじゃん
まずはあれを理解できるようになるとか
読み進めていけばわからん所が見付かるから、
そこから公理的集合論やら線形代数やら一つ一つやっていくとか