David Hilbert
ダフィット・ヒルベルトによって定式化された公理系を以下に示す：