The axiomatic and combinatorial study of incidence relations between basic geometric objects (points, lines, planes, blocks), often emphasizing finite or discrete configurations, projective and affine planes, designs, and axioms of duality and rank.

Principle

Incidence relations and axioms (which objects are incident to which) define structure independently of metric information; combinatorial constraints (axioms, counting, rank) and dualities organize existence, uniqueness, and symmetry properties of configurations.

Demonstration

Examine the Fano plane: a finite projective plane of order 2 with seven points and seven lines where each line contains three points and any two points determine a unique line; use incidence axioms to prove properties like duality and to analyze automorphisms and block designs derived from the configuration.

Misapplication

Inferring metric or continuity properties from incidence axioms (for example deducing distances or angles solely from incidence relations) or assuming coordinatization over a field for a given incidence structure without verifying algebraic representability.

Consequence

Proper incidence-theoretic analysis leads to classification of finite projective and affine planes, construction of block designs and error-correcting codes, connections to matroid theory and combinatorial geometries, and explicit symmetry and automorphism descriptions.

Reversal

Replace incidence focus with metric or differential structure: investigate the same set of points with distances or smooth charts; many combinatorial existence statements become weaker or irrelevant when metric constraints are imposed and new continuous invariants appear.

Boundary

Pertains primarily to combinatorial and axiomatic frameworks for incidence; excludes inherently metric, topological, or algebraic structures unless incidence relations are the primary datum; continuous geometric properties and measure-theoretic aspects are outside the core scope.

Semantic Tension

Intersects with projective algebraic geometry (coordinatization and varieties), combinatorics (designs, matroids) and finite group theory (automorphisms); tension arises when an incidence structure is coordinatizable over different algebraic systems or when combinatorial axioms do not determine a unique geometric model.

Synthesis

Incidence geometry isolates which incidence axioms and combinatorial constraints produce consistent configurations of points and higher-order objects, yielding discrete models (finite planes, designs, matroids) whose symmetries, realizability, and combinatorial invariants are studied independently of metric data.