If competing formal systems successfully reduce relations to other notions (functions, sets, or logi...