Markvy comments on What’s the Deal with Logical Uncertainty?

[Markvy]

some issues with formalization of the axioms?

Yeah, I think it’s that one