User talk:Cloudy176/Department of bubbly negative numberbottles/First undefinable ordinal

HOW large is \(\omega_1^\text{DEF}\)?????? I mean, is \(\omega_1^\text{DEF}>\varphi^\text{CK}(1,0)\)? 80.98.179.160 16:36, December 24, 2017 (UTC)