appunti/Logica/Primo ordine/2020-06-03 Completezza dei tableaux.pdf