Den axiomatiska satts vi här ofvan upställt och den vihoppas