论组合术乃一门关于形式的科学