North Korea and South Korea are obviously different countries but they are both called the "Republic of Korea" (one with various adjectives tacked on).

I don't think you should read too much into names. Taiwan is neither internationally recognized as part of China nor does it function as part of China in any way.