en:discussion:formal_systems