Using simple examples concerning basic constructions of triangles, logical notions as consistency, independency and completeness are ilustrated.