Mod parent down (Score 1)

The parent is incorrect for the reason given by other replies. ie The 'validator' is not the axiom system. Hence, a proof of that the validator does what it's supposed to is not a proof that an axiom system is consistent.

Mod PDAllen's post up.