logoalt Hacker News

JKCalhounyesterday at 9:44 PM2 repliesview on HN

I agree that a regressive tax like sales tax is not "fair" at all.

I had a coworker that argued for a flat tax—considered that fair. I explained that anything less than a progressive tax was going to make the poor pay more and the wealthy pay less. Really, that's fair?

You should be so lucky to have enough that you're in the highest tax bracket.


Replies

vunderbayesterday at 10:38 PM

Yeah, I can't imagine somebody arguing in good faith that a flat tax is fair unless they are completely oblivious to the concept of the diminishing marginal utility of income.

show 1 reply
michtzikyesterday at 10:02 PM

> I explained that anything less than a progressive tax was going to make the poor pay more and the wealthy pay less.

Here's a formally-verified proof in Lean that with a flat tax, if you have more income, then you pay more tax: https://live.lean-lang.org/#codez=JYWwDg9gTgLgBAWQIYwBYBtgCM...

The theorem uses one important assumption: that the flat tax rate is positive.

show 1 reply