Хорошо сформулированный афоризм математики называют аксиомой. Четко сформулированный и доказанный афоризм – теоремой