Полнота в математической логике: теория и примеры наглядных диаграмм