User blog comment:DontDrinkH20/Some ZFC-Definable very big LCOs - uncomputable?/@comment-35470197-20180830044905/@comment-36540075-20180831143342

I didn't actually assume the existence of any models of a set of axioms, only structures.