спосіб, за допомогою якого із аксіом отримують формули, які будуть являтись теоремами

спосіб, за допомогою якого отримують формули

спосіб, за допомогою якого отримують аксіоми

Якщо теоремами є формули: ˫; ˫, то теоремою буде формула (˫).

немає правильної відповіді