  In this paper we introduce a hydra battle. Each hydra will eventually die
out, but the fact is not provable in a set theory with urelements of natural
numbers and the assumption that `there exists an uncountable regular ordinal'.
