Transfer principle in quantum set theory - Masanao Ozawa (2006)