Text this: Metamathematics of fuzzy logic