Sa huli ng ika @-@ 19 at ng ika @-@ 20 daantaon , nagkaroon ng mga malaking pag @-@ usad ang lohika , at napatunayang mapapababa sa lohika ang matematika ( sa pinakamababa , sa unang @-@ ordeng lohika na may ilang nakatakdang panukala o nakaset na teoriya ).
