@pootriarch
I generally consider it poor form to remove good data even if it isn't strictly necessary.
The necessity of the addr:city tag depends on the area. In some places it's strictly according to a boundary that exists in OSM. In others the boundary data is either missing or doesn't always align with the "postal town" according to the mail carrier so it's good to include it.
@furtiveParalysis @openstreetmap
If there's national scheme then we could potentially map that, but outside of that this sound very difficult to survey and might be something that could change far too often to be reliably mapped in OSM.