Towards Periodization of the History of Consistency Proofs for Mathematical Theories