Логика суждений как формальная аксиоматическая теория

Рассказ о логике суждений немного с неожиданной стороны - как о частном случае формальной аксиоматической теории со своим языком (алфавитом и синтаксисом), логикой (аксиомами и правилами вывода) и семантикой, а также немного о метаязыке и объектном языке и индуктивных определениях (11 января 2023 г.).

[ЛОНЯ-ув]

Бесконечных слоёв базиса не может быть, у вас листок, экран кончится как и сама бесконечность .😀👍