A note an the omega-incompleteness formalization. - Sergio Galvan (Stud Logica, 1994)