The VNM axioms are the principled way.
They show that you must have a utility function, not what it should be.
Given your preferences, they do show what your utility function should be (up to affine transformation).
Well the additional axiom is as intuitive as the VNM ones, and you need infinite lotteries if you are too model a world with infinite possibilities.
You need some, but not all of them.
This amounts to rejecting completeness.
By completeness I assume you mean assigning a finite utility to every lottery, including the infinite ones. Why not reject completeness? The St. Petersburg lottery is plainly one that cannot exist. I therefore see no need to assign it any utility.
Bounded utility does not solve Pascal's Mugging, it merely offers an uneasy compromise between being mugged by remote promises of large payoffs and passing up unremote possibilities of large payoffs.
Suppose omega offered to create a universe based on a Solomonoff prior, you'd have to way to evaluate this proposal.
I don't care. This is a question I see no need to have any answer to. But why invoke Omega? The Solomonoff prior is already put forward by some as a universal prior, and it is already known to have problems with unbounded utility. As far as I know this problem is still unsolved.
Given your preferences, they do show what your utility function should be (up to affine transformation).
Assuming your preferences satisfy the axioms.
By completeness I assume you mean assigning a finite utility to every lottery, including the infinite ones.
No, by completeness I mean that for any two lotteries you prefer one over the other.
Why not reject completeness?
So why not reject it in the finite case as well?
The St. Petersburg lottery is plainly one that cannot exist.
Care to assign a probability to that statement.
Summary: the problem with Pascal's Mugging arguments is that, intuitively, some probabilities are just too small to care about. There might be a principled reason for ignoring some probabilities, namely that they violate an implicit assumption behind expected utility theory. This suggests a possible approach for formally defining a "probability small enough to ignore", though there's still a bit of arbitrariness in it.