proof system

Английский Язык - Английский Язык

Определение proof system в Английский Язык Английский Язык словарь

A set of axioms and a set of inference rules which are jointly used to deduce tautologies, thereby providing proofs of them

Расстановка переносов

proof sys·tem

Турецкое произношение

pruf sîstım

Произношение

/ˈpro͞of ˈsəstəm/ /ˈpruːf ˈsɪstəm/