 Of course, there is a problem here. If the thoughts we speak of here are human thoughts, there are continuum-many true propositions, and finitely many human thoughts. Also, there are propositions true in worlds where there are no human thoughts. So we can’t identify propositions and human thoughts. But we don’t have this problem with divine thoughts. God, we may grant, exists necessarily. And God has sufficiently many mental states to stand in for true propositions (see Plantinga 1980, 1982).