2 ms·I don’t think you can express IMO problems in a simple subset of first-order logic.by lacker 7y agoI don’t think you can express IMO problems in a simple subset of first-order logic.