Fundierung,fundiert
Ein Definitionsschema für eine Relation heißt dann f., wenn für die Herstellung einer als gültig nachzuweisenden Relationsaussage nicht eine unendliche Kette von Regelanwendungen erforderlich ist. Innerhalb einer axiomatischen Mengenlehre heißt eine Menge M dann f., wenn sie keine unendliche Vorgängerkette hat. Diese Begrenztheit wird durch Fundierungsaxiome sichergestellt.
PP