A ‘necessary truth’ is a proposition that could not possibly be false, for example, that 2 + 2 = 4, or ‘squares have four sides’. A ‘necessary thing’ is something that could not possibly have failed to exist, for example, some argue that the laws of mathematics exist necessarily.