The fact that the “line of reasoning is circular” is kind of the point: they are invariant fixed points in the space of possible sets of laws, such that they re

The fact that the “line of reasoning is circular” is kind of the point: they are invariant fixed points in the space of possible sets of laws, such that they remain unaffected by iteration upon themselves. Kind of like Y Combinator or Turing’s Theta Combinator.