Аксиоматика логики: система аксиом, её полнота, непротиворечивость и роль в построении формальных логических теорий.
Нажмите рядом со статьёй — скопируете ссылку для списка литературы по ГОСТ.