In der Mengenlehre müßte man das, was Kalkül ist, trennen von dem, was Lehre sein will (und natürlich nicht sein kann). Man muß also die Spielregeln von unwesentlichen Aussagen über die Schachfiguren trennen.