Necessary truths (like '2+2=4') are meaningful and true despite their negations being impossible, co...
This proposition has not been edited since the history system was added.