FootNote

Since "formal systems" would include models with sizes of all the hierarchy of ordinals, the size of the conjuction would be strictly bigger than any infinite ordinal!