Một khẳng định về ……………………. toán học, tính chất toán học đó đã được ………….. là đúng, không dựa vào …………………………….., được gọi là …………………………………………………………………………