Symposium: Why are the Calculuses of Logic and Arithmetic Applicable to Reality? · Study