[kevin_thibedeau]

They are symbols that we assign arbitrary meaning to. They are useful because of the axiomatic framework constructed to support them.