A.1. Mệnh đề toán học