Nisan comments on One thousand tips do not make a system

[Nisan]

You are indeed abusing Gödels Incompleteness Theorem.