Матэматычная лёгіка

Зьвесткі зь Вікіпэдыі — вольнай энцыкляпэдыі.

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

	Гэта — накід артыкула па матэматыцы. Вы можаце дапамагчы Вікіпэдыі, напісаўшы яго.