exemplet på eu vetenskap , som är ett formelt system , är matematiken.