No. The fragility is in humans' ability to misinterpret theorems, not in the theorems themselves, and humans are complex enough that I highly doubt that you'd be able to come up with a useful list of criteria that could guarantee that no human would ever misinterpret a theorem.