Ich habe den Artikel zur Löschung vorgeschlagen - sorry, ist nicht bös' gemeint. Das Lemma ist halt IMHO einfach falsch, und eine formales system ist ein formales system, egal in welcher Disziplin. -- D. Düsentrieb 00:10, 16. Nov 2004 (CET)