Доказательство для математики

то, что следует из аксиом.