Biconditional operator
The dyadic truth-functional operator typically expressed in English with the words “if and only if”.
Constant
A symbol standing for a specifically identified item.
Dyadic operator
An operator that joins together two sentences.
Logicism
The claim that all of mathematics can be logically deduced from statements of pure logic.
Artificial or formal language
A language created b a group of people to communicate a specialized and restricted body of ideas.