Теоретико-множинний зміст суми двох цілих невід’ємних чисел