Stav dette: La lógica formal /