Pojęcia i twierdzenia implikowane przez pojęcie istnienia