La primera es un modelo de eventos físicos y no puede ser probado a partir de axiomas básicos.