Аксиоматика логики: система аксиом, её полнота, непротиворечивость и роль в построении формальных логических теорий.
Статей пока нет. Будьте первым!