take omega ; :: thesis: omega is denumerable
thus omega is denumerable ; :: thesis: verum