upvote
This is called insurance, not tax.
reply
If the government mandates it under threat of violence, it’s called a tax.

It could also be classified as an insurance premium, but a government mandating it is the key characteristic of a tax.

But the fact that the government reduces the annuity amount by increasing retirement age and benefit purchasing power means it is not insurance either.

reply