幾何構造の統一と公理的提示