Meta Cycles in Logic