This is one of those times when the attempt to address the wrong part of a statement immediately goes into Ackermann-like recursion.

The only irony present is the pretense of validity of the supposed contradiction.