ჰილბერტის აქსიომატიკა
ჰილბერტის აქსიომატიკა — ევკლიდური გეომეტრიის აქსიომების სისტემა. შემუშავებულია ჰილბერტის მიერ, როგორც უფრო სრული, ვიდრე ევკლიდეს აქსიომების სისტემა. სისტემა შედგება 20 აქსიომისგან და დაყოფილია 5 ჯგუფად: თანამონაწილეობის (8 აქსიომა), განაწილების (4 აქსიომა), შესაბამისობის, ანუ კონგრუენტულობის (5 აქსიომა), უწყვეტობის (2 აქსიომა) და პარალელურობის (1 აქსიომა).