mathematics that it employs. Example; Z.
u Constructive—Constructive logical systems (usually type theories) are
particularly concerned with the ability to realize (in an informal as well
as a technical sense). Whereas in classical mathematics the notion of a