аксиоматический
131ДОСТОВЕРНОСТЬ — обоснованность, доказательность, бесспорность знания. Достоверное суждение такое суждение, в котором выражается прочно обоснованное знание, напр.: «Луна спутник Земли», «Вода кипит при 100°С» и т.п. Достоверные суждения разделяются на два вида:… …
132МАТЕМАТИЧЕСКАЯ ЛОГИКА — одно из названий современной логики, пришедшей во втор. пол. 19 нач. 20 в. на смену традиционной логике. В качестве др. названия современного этапа в развитии науки логики используется также термин символическая логика. Определение… …
