Both of these are infinite, but the set of numbers containing odd numbers is by definition smaller than the set of numbers containing all integers, because it doesn’t have the even numbers.

This is provably false - the two sets are the same size. If you take the set of all integers, and then double each number and subtract one, you get the set of odd numbers. Since you haven’t removed or added any elements to the initial set, the two sets have the same size.

The size of this set was named Aleph-zero by Cantor.

Euler’s identity is pretty amazing:

e^iπ + 1 = 0

To quote the Wikipedia page:

Three of the basic arithmetic operations occur exactly once each: addition, multiplication, and exponentiation. The identity also links five fundamental mathematical constants:[6]

The number 0, the additive identity.
The number 1, the multiplicative identity.
The number π (π = 3.1415…), the fundamental circle constant.
The number e (e = 2.718…), also known as Euler’s number, which occurs widely in mathematical analysis.
The number i, the imaginary unit of the complex numbers.

The fact that an equation like that exists at the heart of maths - feels almost like it was left there deliberately.