The rules are different for Currency Issuers (nations with a fiat currency) versus currency users (citizens, provinces, and nations on the Gold Standard).
For the United States, which is a currency issuer, Congressional appropriations create money. Taxes do indeed return money to the government from the private sector, but there is no need to claim that money is "recycled" for spending purposes.
Revenue is an obsolete concept for currency issuers.