“If we assume X theorem is true, Y theorem is true, and lemma Z is true, then …”

This is actually about our models and seeing their incompleteness in a new light, right? I don’t think starting from arbitrary axioms and then trying to build reality was about proving qualities about reality. Or am I wrong? Just seems like they’re using “simulated reality” as a way to talk about our models for reality.