"Sound" means free of contradiction with respect to the axioms assumed.

If you can derive a contradiction using his methods of computation I would study that with interest.

By "sound" I do not mean provably sound. I mean I have not seen a proof of unsoundness yet.

To clarify:

“Sound” != proof of soundness in the same way that the Riemann Hypothesis being true is not the same as RH being proven.