b'\n_START_ARTICLE_\nFormalvetenskap\n_START_PARAGRAPH_\nFormalvetenskap \xc3\xa4r ett samlingsbegrepp f\xc3\xb6r s\xc3\xa5dana vetenskapliga discipliner som behandlar formella system. H\xc3\xa4r finns till exempel logik, matematik, informationsteori, spelteori och systemteori. Gemensamt f\xc3\xb6r dessa vetenskaper \xc3\xa4r att de anv\xc3\xa4nder teckensystem f\xc3\xb6r att beskriva och analysera abstrakta strukturer. De bygger helt p\xc3\xa5 deduktion utifr\xc3\xa5n givna axiom och definitioner, och innefattar inga moment av empiri.'