4 ms·Most programming languages are unsound logic systems which allow us to prove true==false rather too easily!by willtim 9y agoMost programming languages are unsound logic systems which allow us to prove true==false rather too easily!