Mathematical logic ... implications for mathematical reasoning. One significant area of recent research involves the exploration of reflection algebras and their connection to iterated truth ...