Although the difference between the ontological uncertainty of quantum physics (as reflected in such things as Bell's inequalities) and the epistemic uncertainty of mathematical systems (as reflected in such things as Gödel's Incompleteness Theorems) is clear to me, I find it tricky to formulate the difference in terms of the standard triangle Theory-Model (Interpretation)-Lattice of Truth Values, with perhaps some sort of Kripke-like hierarchies. Can anyone push me in the right direction? I don't need explanations of the two uncertainties separately, but in contrast. If you have a source, please only on-line free sources, as I do not have access to a decent academic library and am tired of paying for articles. Oh, and don't even think about mentioning Penrose.