Какое количество законов формальной логики существует