Kripke–Platek_set_theory loading ...