But all of these models are based on the idea of a large body of facts that we can somehow or another get completed.
Mas, todos estes modelos baseiam-se  na existência de um grande conjunto de factos que, de uma forma ou de outra,  podemos completar.