I don't understand what you mean by this. Gödels two incompleteness theorems are about theories of natural numbers, so their models are infinite. I don't understand what you could mean by them applying to finite models.

I stand by my claim. The key point of Gödels incompleteness is NOT that no single theory can pin down a single model, that was known before.