Логико-математические принципы построения математических систем, аксиоматика и непротиворечивость.
Статей пока нет. Будьте первым!