СХЕМА АКСИОМ

аксиомная схема) – разновидность постулатов, с помощью к-рых в логике задаются исчисления (формальные системы). С а. представляет собой выражение, составленное из т.н. метаматем. букв. т.е. символов,