Which sentence is more formal?

 - Vatican City, the world's smallest country, is not a member of the United Nations.
 - Vatican City, the world's smallest country, isn't a member of the United Nations.
The first sentence is less formal. You can tell because it uses a contraction (isn't).
The second sentence does not use a contraction, so it is more formal.