Het gebruik van adaptieve logica's voor de praktijk en de filosofie van de wiskunde en het gebruik van wiskundige tools voor de abstracte analyse van adaptieve logica's