О кирпичах математической логики