作者: Newton C. A. Da Costa , Décio Krause
DOI: 10.1007/978-94-017-2043-4_16
关键词:
摘要: The general mathematical framework underlying the usual physical theories is naive set theory, but it obvious that every construction can be performed in an axiomatized theory like Zermelo-Fraenkel or Kelley-Morse. In fact, we could consider axiomatization of by means Suppes’ predicates (or Bourbaki’s species structures), which are formulas and note models such also set-theoretical structures [6]. particular, formulations quantum mechanics (henceforth, QM) use a fragment language functional analysis; so, they based on theory.1