Следствия из аксиом: логика и доказательства