Would taking multivariable calculus be boring in comparison to an introduction to proofs class for someone good at Calc. I and II? The multivariable calculus class would not cover topics like Green's Theorem, Stoke's Theorem, Divergence, Curl but rather only double and triple integrals, the del operator, gradient, and directional derivatives. Would it be more interesting intellectually for someone to take the introduction to proofs class which would cover set theory,cardinalities, basic graph theory, formal logic, axiom systems, relations and related things?
I'm thinking that because the multivaribale class doesn't even cover green's theorem and stoke's theorem it would be too easy and a waste of time to take.