Contacts:

Математи́ческая ло́гика  — раздел математики, изучающий математические обозначения, формальные системы, доказуемость математических суждений,  природу математического доказательства в целом, вычислимость и прочие аспекты оснований математики.

Sign up