Sålunda har en stor del satser och lagar blifvit framställda undermatematisk