Quantum redactiones paginae "Logica mathematica" differant

{{In progressu}}'''Logica mathematica''' est disciplina [[mathematica]]e, quae conor

'''Mathematical logic''' is a field of [[mathematics]], that tries to formalize [[logic]] so that it can be used for mathematics more easily. Logic is about reasoning, mathematical logic tries to use symbols. Most of mathematical logic was developed in the 19th and 20th century.