What you have to show depends on the context. Some things are usually taken for granted, such as the field axioms for real numbers. Often, you can get quite a bit of mileage out of those.
But another very important case is subspaces. For subspaces, you usually just need to show closure, and everything else comes along for the ride. Is that what you're thinking of?