• Zero is the number of objects that satisfy a condition that is never satisfied. But as never means "in no case", I do not see that any progress has been made.

    Henri Poincare: Zero is the number of objects that satisfy a condition that is never
satisfied. But as never means "in no case", I do not see that any progress has been made.