"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. By constructing a "silly" argument about how we can't possibly be in a matrix, they're revealing just how much we're still missing.