Avicena argumento que debe de haber un "necesariamente existente", es decir, un ente que no puede no-existir.