User blog comment:P進大好きbot/Full References of Arguments on Ordinal Notations with Large Cardinals/@comment-25601061-20180729214112/@comment-25601061-20180802001036

1. Where?

2. Again, no axioms are assumed. Googologists rarely work under a specific set of axioms.