it’s pretty hard to engage a fun idea is, if godel proves that systems are inconsistent, couldn’t we use that to make a consistent one by counterproving the proof? kind 9f like find8ng a fixed point in the larger system