The first of these is the development of an axiomatic treatment of sheaf theory by Grothendieck for the purpose of to define sheaf cohomology.

• 但是，数学的逻辑推导之前，总需要有一些基本的定义与公理。