数学的な演繹の構造は、魅了されるほどに見事なものである。