真实，直到被证实或被证明是错误的？

I've noticed something about my coding that is slightly undefined. Say we have a two dimension array, a matrix or a table and we are looking through it to check if a property is true for every row or nested dimension.I've noticed something about my coding that is