I have a question to which I have no answer to (because its not my area).
Does it make sense to talk of a set which contains all true statements about the world?
1. To have a fact in it does not necessarily entail the justification/demonstration of that fact (e.g. base principles like F=ma), but it will iff we are to accept the proof of any given fact as true in itself.
2. I’m deserving to be reminded of the conclusions of the 2nd Incompleteness theoremt; but I want a better explanation than the crappy folk explanation I have
3. I’m aware of Russell’s paradox; is this relevant? Furthermore, is it desirable (quid juris) to incorporate this by limiting he notion of the master set?