Usage of "counterexample"

English is not my native language, and I'm having a hard time being convinced that the following usage of the word "counterexample" is correct.

In this age of ever-eroding privacy, the new GoodCompany™ website wants to be a counterexample on how to build a website that protects your data instead of sharing it with third parties.

To me, it sounds like: the good guy is a counterexample of being a good guy.

If both parts of the sentence are synonyms (e.g. good and good, as opposed to good and bad), shouldn't the "counterexample" word be replaced with "example" instead? Thanks.

Solution 1:

Formally, a counterexample is an example that disproves a logical claim. These are common in mathematics and philosophy.

A universal claim is disproved by an existential counterexample.

Since a counterexample such a simple way to disprove claims like this, making these generalisations logically is very difficult. Entire fields of pure mathematics and philosophy are devoted to this.

For example “All cars are red”, “no, here is a blue one”. That blue car is a counterexample, it doesn’t have to be the only car that isn’t red but there needs to be at least one to disprove the claim.

In your case, they’re implying that many people think all tech companies are sharing data with third parties. They want people to say, no here is one that represents a different business model.