> Here's a system which captures, I think, Norm's intutition.
This does exactly what I complained Norm doesn't do, which is to write down some axioms. As a result, you can get mathematical results instead of just engaging in diatribes. Needless to say, I think this is a better approach, but it's not clear to me that this is Norm's intution.
How strong a consistency result can you prove in "F"?