Godel's incompleteness theorem strikes again. At least, you can be sure that your models can be consistent.