I don't know how it is obtained either without thinking about it. And you have said nothing about what ideas you have explored.
Here is one idea to consider. Obviously, the sum of any two numbers divisible by 46 is itself divisible by 46.
[MATH]i,\ j \in \mathbb Z^+ \text { and } i \ne j \implies (i + j) \in \mathbb Z^+ \text { and}[/MATH]
[MATH]46 \text { evenly divides } 46i + 46j \ \because \ \dfrac{46i + 46j}{46} = \dfrac{\cancel {46} (i + j)}{\cancel {46}} = (i + j)..[/MATH]
[MATH]44 * 46 - 2011 = 1840 + 184 - 2011= 2024 - 2011 = 13.[/MATH]
Thus the set of numbers 46 * 1, 46 * 2, ... 46 * 43 is a set of 43 numbers, the sum of any two of which is evenly divisible by 46.
Thus, I suspect one of three things: you have not posted the problem correctly, the answer you have given is wrong, or the set with the maximum number of elements contains numbers that are not multiples of 46.
If the set does contain numbers the sums of which are evenly divisible by 46 but are not themselves divisible by 46, what is the number of elements of the set?[/MATH]