classical mathematics

mainstream approach to mathematics, which is based on classical logic and ZFC set theory

Kategoriler: