Выстроить зависимость либо составить схему меж понятиями:

Следствие утверждение, которое выводится конкретно из аксиомы либо аксиомы.
Аксиома утверждение, для которого в разглядываемой теории существует подтверждение.
Истина утверждение, которое принимаются истинными без всяких доказательств.
Наименее главные утверждения-аксиомы обычно называют леммами, следствиями, критериями и пр.
Лемма доказанное утверждение, полезное при подтверждении иных утверждений.
Постулат начальное положение какой-либо теории, принимаемое в данной теории подлинным без требования доказательства и применяемое при подтверждении других.

Зависимость: все эти определения помогают при подтверждении теорем либо идут, как следствие из аксиомы.