[mizar] theorems of the form "if A then T", where A is known to be independent of TG

[Jesse Alama <alama@stanford.edu>]

Does the MML contain any statements of the form "if A then T", where A
is a statement known to be independent of Tarski-Grothendieck set
theory (TG)?

Jesse

-- 
Jesse Alama (alama@stanford.edu)