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