„Stærðfræðileg rökfræði“: Munur á milli breytinga

Stærðfræðileg rökfræði á rætur sínar að rekja til nokkurra [[:Flokkur:Stærðfræðingar|stærðfræðinga]] og [[:Flokkur:Heimspekingar|heimspekinga]] sem töldu þörf á aðferð til þess að lýsa rökyrðingum á stærðfræðilegan máta og þörf á heilsteyptu kerfi til þess að sýna fram á sannleiksgildi stærðfræðilegra fullyrðinga. Fremstan í flokki má nefna [[Gottlob Frege]] sem er gjarnan nefndur faðir nútímarökfræði.