Answer:
There is a sub-field of geometry called formal geometry which is related to algebraic geometry and deals with topics such as formal schemes , topological rings , the comparison theorem in algebraic geometry , the Grothendieck existence theorem.
Informal geometry have the topics of definitions, measurements, and constructions of geometric shapes and figures. No attention to formal proofs is given. Subtopics include points, lines, angles, triangles, quadrilaterals, circles, area, and perimeter.
Step-by-step explanation:
