I have one or more of the following steps incorrect. Which one(s)?
(a) Gödel's constructible universe L is the minimal model for ZFC, hence countable.
(b) The set of ordinals ORD is uncountable.
(c) ORD is a subset of L, hence |ORD| is less than or equal to |L|.
The contradiction is evident. ????