It seems to me that this avoids the self contradictory "everything is uncertain, even uncertainty" while allowing agnostic positions, by allowing only uncertainty as the only thing certain, sort of the base case for everything.
Edit: Based on the first answer, the way I would formalize is: "Certain(x)" and "x = !Certain(y)" where "y = !x"