Den första är fullständighetsprincipen .