Canon 4000D has a Canon EF/EF-S lens mount and currently there are 301 native lenses available for this mount.
Canon 4000D doesn't have a sensor based image stabilization system but 91 of these lenses already comes with optical image stabilization.
Since Canon 4000D has a APS-C sensor, it has a focal length multiplier of 1.6x so you have to multiply lenses original focal length with this multiplier to find the Full Frame equivalent focal length of the lens when mounted on 4000D.
You may also also be interested in these:
Canon 4000D Lenses with Image Stabilization
Canon 4000D Lenses with Weather Sealings