Правовед Е. Н. Лисанюк в водной статье к «Нормативным системам» (2013г.) пишет о том, что, хотя идеал нормативной системы можно назвать наивно-дедуктивистским, тем не менее, «этот идеал выступает одним из методологических принципов юридической науки, и использовать его надлежит для того, чтобы уточнить те закономерные связи внутри нормативных контекстов, которые являются логическими» [2, c. 26—27].
«В этом случае для некоторого произвольного множества можно использовать некое формальное понимание логического следования вообще, а именно процедуру превращения этого множества в систему путем применения к нему операции взятия следствий.…
Ключевой особенностью формальной системы с точки зрения логики является необходимый характер истинности производных в ней высказываний, обеспечиваемый, с одной стороны, аксиоматическим базисом системы, с другой – выполнением требований корректности и непротиворечивости» [2, c. 25—27].
При создании в математике формальных аксиоматических систем аксиомы вводились до построения формальной системы; собственно, с аксиом всё только начиналось. При этом аксиомы принимались на содержательном уровне и вводились таким образом, чтобы утверждения, в них содержащиеся, были очевидны для всех. Как известно, в математике существует несколько аксиоматических систем, созданных разными авторами, которые руководствовались своими собственными критериями очевидности, среди них, например, система Цермело – Френкеля, система фон Неймана, система Бернайса – Геделя и система Куайна [3, c. 32].
Подобный путь – введение аксиом изначально, исходя из критерия очевидности, возможен и в юриспруденции [4], [5, c. 765], [6]. При этом встает задача доказательства полноты, замкнутости и непротиворечивости соответствующих правовых систем.
Однако возможен и другой подход, условно говоря, от обратного – не придумывать аксиомы, исходя из каких-то собственных представлений, а определить (вывести) «обратным пересчетом» из действующей реально и максимальной общей системы правовых доктрин. Можно рассматривать статьи Конституции Российской Федерации как множество теорем, выведенных из каких-то аксиом, и попытаться найти эти аксиомы [7, c. 23]. На содержательном уровне, без привлечения специальных методов математической логики сделать это практически невозможно.
