superconstructive
Jump to navigation
Jump to search
English
[edit]Etymology
[edit]From super- + constructive.
Adjective
[edit]superconstructive
- Highly constructive.
- (mathematics, calculus) In which the constructive propositional calculus can be simulated or is reducible; at least as powerful for proofs as the constructive propositional calculus.