fullständighetssats
inte

och