Gödel showed that any system meeting a certain level of arithmetical complexity will have the property of either being incomplete or inconsistent. The person I

Gödel showed that any system meeting a certain level of arithmetical complexity will have the property of either being incomplete or inconsistent. The person I responded to said that SM was incomplete, but that must be the case, unless the model is self-contradictory (assuming it's not, as it would not qualify as a scientific theory if it were), or, the model must not have enough arithmetical complexity to fall under Gödel's rubric.