Three facts:

(1)The constructible universe L is the minimal model for ZFC;

(2) L is a model of "there exists an inaccessible cardinal ", and

(3) if V=L,an inaccessible cardinal with the membership relation is a model of ZFC.

So, what is confusing me is: if the universe of L contains , then how can L be the minimal model? Wouldn't < ", > be a model that is smaller?

PS, how come, when I wrapped math brackets around ^{L}, it didn't go to superscript?