discussion:en:formal_systems