А вообще есть теорема Гёделя о неполноте, она применима и к формальной системе законов. Поэтому вообще непонятно, чего так все носятся с ними. Система законов будет или неполна, или противоречива и это доказано со всей строгостью
Тише, Тише, мы только константы начали проходить, а ты прям наотмашь