We are using cookies This website uses cookies in order to offer you the most relevant information. By browsing this website, you accept these cookies.
Раздел математики, изучающий математические обозначения, формальные системы, доказуемость математических суждений, природу математического доказательства в целом, вычислимость и пр.