Bråkräkning och de rationella talen: en formell deduktiv analys

En detaljerad formellt deduktiv framställning (konstruktion) av bråkräkningens och de rationella talens teoretiska grunder. Uppsatsen utgör fördjupande extramaterial till boken Portarna till matematiken. Konstruktionen görs för bråken definierade som mängden av alla par av heltal (a, b), där b inte är 0.