Den axiomatiska teorin innehåller en del negativa resultat .