After pic related came along and was basically like "arithmetic, completeness, consistency, you can only have 2", I'm wondering, is there any formal system that sacrifices "expressiveness" for completeness and consistency other than ridiculously simple trivial examples?