The counting problem is also known as "Tarski's revenge."
It stands alongside two major problems in mathematics called the "compositional-unit problem" and the "unit-of-measurement problem." It is trying to determine how many points there are in an object.
Tarski's nihilism indicates that infinity plus an uncountable number of exterior points equate to an infinite number of points.
This is the solution to the counting problem.
A NON-Tarski object has the uncountable points on the INTERIOR surface with the infinite points; indicating that Godel's incompleteness theorem is stating that mathematics is unable to count the uncountable set of Tarski-points if they lie to the interior of the surface.