> but not a lot of surplus industry income that can be taxed to give everyone in the country an extra 200K

Are you aware of how Australia's superannuation system works? Contributions are literally paid from company income. You are saying it would be impossible for Australia to save trillions from surplus income when this has already happened and is the basic design of the scheme!