I am a junior in high school currently in multivariable calculus (online) and find it kind of boring since it's similar to Calc BC from last year, emphasizing applications of math to, for example, engineering rather than theory. I am highly interested in the theory of pure mathematics and love the rigor and proofs of higher math, and am constantly watching lectures and trying to learn as much as I can of these subjects. There are not really any teachers at my school that can help me with math beyond single variable calculus. However, I took the AIME math competition last year and got a 2, showing I might not have as strong of a base of mathematics as I need to prepare me for higher math later in college/grad school.
I've currently been working through a number theory book and Linear Algebra Done Right by Sheldon Axler, but I also have a less abstract (but still challenging) Art of Problem Solving: Geometry book. Should I devote more time at this point in my mathematical career to these fundamentals provided by Art of Problem Solving, or would I be fine to skip those and continue working on the more theoretical textbooks? (I also would really like to work through Calculus by Spivak or Apostol, though I'm not sure which is better.)
Any advice would be greatly appreciated.