Assertion: dissertation | /r/HasProperty | constructive mathematics
Facets:
Source sentences:
text: For the axiom CT in constructive mathematics, see Church's thesis (constructive mathematics)