P
Initializing...
No extendible cardinal lies at or below the least Berkeley cardinal · Prove2Me