Математические теории: доказательства следствий из аксиом