Аксиоматика

система аксиом вместе с основными объектами и основными отношениями между ними; учение об определениях и доказательствах в их отношении к системе аксиом.