2 ms·Actually, it is “sound, complete, consistent, recursively axiomatizable: pick three”.by catnaroek 9y agoActually, it is “sound, complete, consistent, recursively axiomatizable: pick three”.